Skip to content

[fix] [directory targets] Fix promotion of directory targets in some cases #28392

[fix] [directory targets] Fix promotion of directory targets in some cases

[fix] [directory targets] Fix promotion of directory targets in some cases #28392

Triggered via pull request September 17, 2024 16:10
Status Cancelled
Total duration 1m 16s
Artifacts

workflow.yml

on: pull_request
Format
57s
Format
Documentation
1m 2s
Documentation
Coq 8.16.1
1m 4s
Coq 8.16.1
Build monorepo benchmark docker image
1m 1s
Build monorepo benchmark docker image
Build microbenchmarks
1m 5s
Build microbenchmarks
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

44 errors and 1 warning
Create local opam switch (macos-latest, 5)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Nix (macos-latest)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Create local opam switch (ubuntu-latest, 5)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (4.02.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Create local opam switch (ubuntu-latest, 5)
The operation was canceled.
Build (4.02.x, ubuntu-latest, true)
The operation was canceled.
Coverage (5.1.x)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Coverage (5.1.x)
The operation was canceled.
Build (4.04.x, ubuntu-latest, true, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (4.04.x, ubuntu-latest, true, true)
The operation was canceled.
Create local opam switch (ubuntu-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Create local opam switch (ubuntu-latest, 4.14)
The operation was canceled.
Build (4.08.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (4.08.x, ubuntu-latest, true)
The operation was canceled.
Build (ubuntu-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (ubuntu-latest, 5.1.x)
The operation was canceled.
Build (4.14.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (4.14.x, ubuntu-latest, true)
The operation was canceled.
Build (5.1.x, macos-13, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (5.1.x, macos-13, true)
The operation was canceled.
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (ocaml-variants.5.3.0+trunk, ubuntu-latest, true)
The operation was canceled.
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (ocaml-base-compiler.4.14.2,system-msvc, windows-latest)
The operation was canceled.
Create local opam switch (macos-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Create local opam switch (macos-latest, 4.14)
The operation was canceled.
Build (macos-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (macos-latest, 5.1.x)
The operation was canceled.
Build (ocaml-base-compiler.5.1.1,system-mingw, windows-latest)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (ocaml-base-compiler.5.1.1,system-mingw, windows-latest)
The operation was canceled.
Build (4.14.x, macos-latest, true)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build (4.14.x, macos-latest, true)
The operation was canceled.
Nix (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Nix (ubuntu-latest)
The operation was canceled.
Format
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Format
The operation was canceled.
Build monorepo benchmark docker image
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build monorepo benchmark docker image
The operation was canceled.
Build microbenchmarks
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Build microbenchmarks
The operation was canceled.
Documentation
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Documentation
The operation was canceled.
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ ejgallego:fix_promotion_dir_targets' exists
Coq 8.16.1
The operation was canceled.
Coverage (5.1.x)
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']