test: sandboxing somehow eats promotions #37307
Triggered via pull request
February 1, 2026 21:49
rgrinberg
Status
Cancelled
Total duration
1m 30s
Artifacts
–
workflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
1m 20s
Documentation
56s
Cygwin Build
1m 15s
Test that the utop dev tool can be built and run
1m 7s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Coq 8.16.1
0s
Wasm_of_ocaml
0s
Building Dune with OxCaml
0s
Build microbenchmarks
0s
Matrix: Create local opam switch
Matrix: Build
Annotations
19 errors
|
Test that the utop dev tool can be built and run
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Test that the utop dev tool can be built and run
The operation was canceled.
|
|
Nix Build 4.08 (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Nix Build 4.08 (ubuntu-latest)
The operation was canceled.
|
|
Nix Build (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Nix Build (ubuntu-latest)
The operation was canceled.
|
|
Cygwin Build
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Cygwin Build
The operation was canceled.
|
|
Nix Tests (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Nix Tests (ubuntu-latest)
The operation was canceled.
|
|
Bootstrap (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Bootstrap (ubuntu-latest)
The operation was canceled.
|
|
Format
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Format
The operation was canceled.
|
|
Build with OxCaml (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Build with OxCaml (ubuntu-latest)
The operation was canceled.
|
|
Nix Build (macos-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|
|
Nix Build (macos-latest)
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI @ rgrinberg:push-tvyrmqoynupu exists
|