Skip to content
CI

feat(slang): when with Nil body is Nil (#13773) #38031

Sign in to view logs

feat(slang): when with Nil body is Nil (#13773)

feat(slang): when with Nil body is Nil (#13773) #38031

Triggered via push March 11, 2026 10:55
@AlizterAlizter
pushed 0acdf54
main
Status Cancelled
Total duration 2m 31s
Artifacts –

workflow.yml

on: push
Matrix: Nix Build
Waiting for pending jobs
Matrix: Nix Tests
Waiting for pending jobs
Cygwin Build
Cygwin Build
Documentation
Documentation
Format
Format
Test that the utop dev tool can be built and run
Test that the utop dev tool can be built and run
Matrix: Bootstrap
Waiting for pending jobs
Matrix: Nix Build 4.08
Waiting for pending jobs
Matrix: Build with OxCaml
Waiting for pending jobs
Build microbenchmarks
Build microbenchmarks
Building Dune with OxCaml
Building Dune with OxCaml
Rocq 9.1
Rocq 9.1
Rocq 9.1 (native)
Rocq 9.1 (native)
Wasm_of_ocaml
Wasm_of_ocaml
Matrix: Create local opam switch
Waiting for pending jobs
Matrix: Build
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