Skip to content

refactor(pkg): stop using integers for ordering (#11313) #29574

refactor(pkg): stop using integers for ordering (#11313)

refactor(pkg): stop using integers for ordering (#11313) #29574

Triggered via push January 17, 2025 00:11
Status Cancelled
Total duration 34s
Artifacts

workflow.yml

on: push
Format
5s
Format
Documentation
6s
Documentation
Coq 8.16.1
6s
Coq 8.16.1
Wasm_of_ocaml
0s
Wasm_of_ocaml
Build monorepo benchmark docker image
2s
Build monorepo benchmark docker image
Build microbenchmarks
7s
Build microbenchmarks
Matrix: Build
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

39 errors
Build (macos-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.02.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.02.x, ubuntu-latest, true)
The operation was canceled.
Build (ocaml-base-compiler.5.1.1,system-mingw, windows-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build monorepo benchmark docker image
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build monorepo benchmark docker image
The operation was canceled.
Create local opam switch (macos-latest, 5)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Create local opam switch (macos-latest, 5)
The operation was canceled.
Build (ubuntu-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (ubuntu-latest, 5.1.x)
A task was canceled.
Build (4.14.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.14.x, ubuntu-latest, true)
The operation was canceled.
Build (4.14.x, macos-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.14.x, macos-latest, true)
The operation was canceled.
Build (5.1.x, macos-13, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (5.1.x, macos-13, true)
The operation was canceled.
Create local opam switch (ubuntu-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Create local opam switch (ubuntu-latest, 4.14)
The operation was canceled.
Wasm_of_ocaml
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Wasm_of_ocaml
The operation was canceled.
Create local opam switch (macos-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Create local opam switch (macos-latest, 4.14)
The operation was canceled.
Create local opam switch (ubuntu-latest, 5)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Create local opam switch (ubuntu-latest, 5)
The operation was canceled.
Nix (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.04.x, ubuntu-latest, true, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.04.x, ubuntu-latest, true, true)
A task was canceled.
Nix (macos-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Nix (macos-latest)
The operation was canceled.
Build (4.08.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.08.x, ubuntu-latest, true)
The operation was canceled.
Build (ocaml-variants.5.4.0+trunk, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (ocaml-variants.5.4.0+trunk, ubuntu-latest, true)
A task was canceled.
Documentation
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Format
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Format
The operation was canceled.
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build microbenchmarks
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists