Build and test

Disable SARIF upload for now: they are rejected (#6605) #13704

Sign in to view logs

Triggered via push July 24, 2025 13:28

github-merge-queue[bot]

gh-readonly-queue/master/pr-6605-c7592d75cd92b21f9b618840ba814d15f2fa4325

Status Success

Total duration 6m 54s

Artifacts –

main.yml

on: push

Run OCaml tests