Build and test

github: restrict workflow permissions (#6333) #12120

Sign in to view logs

Triggered via push March 4, 2025 18:03

github-merge-queue[bot]

gh-readonly-queue/master/pr-6333-f77f317b8a6f744af693ae31630aae12b7060c4a

Status Success

Total duration 6m 29s

Artifacts –

main.yml

on: push

Run OCaml tests