feature(boot): strip let%expect_test #38081
rgrinbergworkflow.yml
on: pull_request
Matrix: Nix Build
Matrix: Nix Tests
Format
49s
Documentation
49s
Cygwin Build
39s
Test that the utop dev tool can be built and run
37s
Matrix: Bootstrap
Matrix: Nix Build 4.08
Matrix: Build with OxCaml
Rocq 9.1
0s
Rocq 9.1 (native)
0s
Wasm_of_ocaml
0s
Building Dune with OxCaml
0s
Build microbenchmarks
0s
Matrix: Create local opam switch
Matrix: Build
Annotations
21 errors
|
Test that the utop dev tool can be built and run
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Test that the utop dev tool can be built and run
The operation was canceled.
|
|
Cygwin Build
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Cygwin Build
The operation was canceled.
|
|
Nix Build 4.08 (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Nix Build 4.08 (ubuntu-latest)
The operation was canceled.
|
|
Nix Tests (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Nix Build (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Nix Build (ubuntu-latest)
The operation was canceled.
|
|
Nix Tests (ubuntu-latest)
The operation was canceled.
|
|
Bootstrap (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Bootstrap (ubuntu-latest)
The operation was canceled.
|
|
Documentation
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Documentation
The operation was canceled.
|
|
Build with OxCaml (ubuntu-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Build with OxCaml (ubuntu-latest)
The operation was canceled.
|
|
Format
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Format
The operation was canceled.
|
|
Nix Build (macos-latest)
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|
|
Nix Build (macos-latest)
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI @ rgrinberg:push-zuosywvzpmrs exists
|