Skip to content
CI

Shorter path for inline-tests #29796

Sign in to view logs

Shorter path for inline-tests

Shorter path for inline-tests #29796

Triggered via pull request January 27, 2025 08:56
@hhugohhugo
synchronize #11307
hhugo:shorter-path
Status Cancelled
Total duration 28s
Artifacts –

workflow.yml

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

Annotations

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