Skip to content

refactor: add [Restriction] module (#11359) #29709

refactor: add [Restriction] module (#11359)

refactor: add [Restriction] module (#11359) #29709

Triggered via push January 19, 2025 22:07
Status Cancelled
Total duration 16s
Artifacts

workflow.yml

on: push
Build microbenchmarks
Build microbenchmarks
Build monorepo benchmark docker image
Build monorepo benchmark docker image
Coq 8.16.1
Coq 8.16.1
Documentation
Documentation
Format
Format
Wasm_of_ocaml
Wasm_of_ocaml
Matrix: Build
Waiting for pending jobs
Matrix: Create local opam switch
Waiting for pending jobs
Matrix: Nix
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
CI
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists