refactor(pkg): simplifications of new candidates module (#11250) #29395
workflow.yml
on: push
Format
1m 4s
Documentation
56s
Coq 8.16.1
7m 5s
Wasm_of_ocaml
10m 32s
Build monorepo benchmark docker image
3m 54s
Build microbenchmarks
2m 32s
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Annotations
17 warnings