feature: sandbox extraction event #37400
Triggered via pull request
February 4, 2026 20:19
rgrinberg
Status
Cancelled
Total duration
2m 28s
Artifacts
–
workflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 28s
Documentation
1m 1s
Cygwin Build
2m 12s
Test that the utop dev tool can be built and run
2m 16s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Coq 8.16.1
Wasm_of_ocaml
Building Dune with OxCaml
Build microbenchmarks
Matrix: Create local opam switch
Matrix: Build
Annotations
13 errors
|
Cygwin Build
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Cygwin Build
The operation was canceled.
|
|
Build with OxCaml (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Build with OxCaml (ubuntu-latest)
The operation was canceled.
|
|
Test that the utop dev tool can be built and run
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Test that the utop dev tool can be built and run
The operation was canceled.
|
|
Nix Tests (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Nix Tests (ubuntu-latest)
The operation was canceled.
|
|
Bootstrap (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Bootstrap (ubuntu-latest)
The operation was canceled.
|
|
Nix Build (macos-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|
|
Nix Build (macos-latest)
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI @ rgrinberg:push-nvsxnxtuvzlt exists
|