Skip to content
CI

refactor: add type equality to remove pointless conversion (#11392) #29812

Sign in to view logs

refactor: add type equality to remove pointless conversion (#11392)

refactor: add type equality to remove pointless conversion (#11392) #29812

Triggered via push January 27, 2025 22:12
@rgrinbergrgrinberg
pushed ab6e68e
main
Status Cancelled
Total duration 31s
Artifacts –

workflow.yml

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

Annotations

23 errors
Build (ocaml-variants.5.4.0+trunk, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (ubuntu-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.14.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.14.x, macos-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (4.08.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
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
Nix (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (5.1.x, macos-13, true)
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
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Build (ocaml-base-compiler.5.1.1,system-mingw, windows-latest)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
Documentation
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
Nix (macos-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
Wasm_of_ocaml
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
Build microbenchmarks
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
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, 5)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists
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, 5)
Canceling since a higher priority waiting request for 'CI @ refs/heads/main' exists