configurator: make c file name last in compiler args to workaround clang bug #29036
This workflow is awaiting approval from a maintainer in #11123
Triggered via pull request
November 14, 2024 23:44
paparodeo
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #11123
workflow.yml
on: pull_request
Build microbenchmarks
Build monorepo benchmark docker image
Coq 8.16.1
Documentation
Format
Wasm_of_ocaml
Matrix: Build
Waiting for pending jobs
Matrix: Coverage
Waiting for pending jobs
Matrix: Create local opam switch
Waiting for pending jobs
Matrix: Nix
Waiting for pending jobs