Skip to content

fix: lib collision public same folder #847

fix: lib collision public same folder

fix: lib collision public same folder #847

Triggered via pull request March 26, 2024 10:56
Status Cancelled
Total duration 8m 20s
Artifacts

workflow.yml

on: pull_request
Format
2m 23s
Format
Documentation
36s
Documentation
Coq 8.16.1
8m 5s
Coq 8.16.1
Build monorepo benchmark docker image
3m 56s
Build monorepo benchmark docker image
Matrix: Build
Matrix: Coverage
Matrix: Create local opam switch
Matrix: dkml-current
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

27 errors and 10 warnings
Format
Process completed with exit code 2.
Build (4.04.x, ubuntu-latest, true, true)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (4.04.x, ubuntu-latest, true, true)
The operation was canceled.
Build (windows-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (windows-latest, 4.14.x)
The operation was canceled.
Build (4.02.x, ubuntu-latest, true)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (4.02.x, ubuntu-latest, true)
The operation was canceled.
Build (5.1.x, macos-latest, true)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (5.1.x, macos-latest, true)
The operation was canceled.
Build (macos-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (macos-latest, 4.14.x)
The operation was canceled.
Create local opam switch (ubuntu-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Create local opam switch (ubuntu-latest, 4.14)
The operation was canceled.
Create local opam switch (ubuntu-latest, 5)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Create local opam switch (ubuntu-latest, 5)
The operation was canceled.
MSVC 4.14.0 / windows_x86
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
MSVC 4.14.0 / windows_x86_64
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Coq 8.16.1
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Coq 8.16.1
The operation was canceled.
Build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Build (ubuntu-latest, 4.14.x)
The operation was canceled.
Create local opam switch (macos-latest, 5)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Create local opam switch (macos-latest, 5)
The operation was canceled.
Create local opam switch (macos-latest, 4.14)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Create local opam switch (macos-latest, 4.14)
The operation was canceled.
Coverage (4.14.x)
Canceling since a higher priority waiting request for 'CI @ jchavarri:jchavarri/multi-context-libs-fix-public-same-folder' exists
Coverage (4.14.x)
The operation was canceled.
Documentation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build (4.13.x, ubuntu-latest, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build (5.1.x, ubuntu-latest, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build (4.08.x, ubuntu-latest, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build (ocaml-variants.5.2.0+trunk, ubuntu-latest, true)
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Build monorepo benchmark docker image
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Nix (macos-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Nix (ubuntu-latest)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.