Skip to content

handle external%foo in module types #249

handle external%foo in module types

handle external%foo in module types #249

Triggered via pull request July 21, 2024 22:21
Status Cancelled
Total duration 40s
Artifacts

opam-ci.yml

on: pull_request
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

20 errors
Build (macos-13, 4.10.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (macos-13, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (macos-13, 4.12.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (macos-13, 4.14.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (ubuntu-latest, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (ubuntu-latest, 4.06.x)
The operation was canceled.
Build (windows-latest, 4.10.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (windows-latest, 4.12.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (windows-latest, 4.10.x)
The operation was canceled.
Build (windows-latest, 4.12.x)
The operation was canceled.
Build (windows-latest, 4.14.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (windows-latest, 4.14.x)
The operation was canceled.
Build (ubuntu-latest, 4.10.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (ubuntu-latest, 4.14.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (ubuntu-latest, 4.10.x)
The operation was canceled.
Build (ubuntu-latest, 4.14.x)
The operation was canceled.
Build (windows-latest, 4.06.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (windows-latest, 4.06.x)
The operation was canceled.
Build (ubuntu-latest, 4.12.x)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/2767/merge' exists
Build (ubuntu-latest, 4.12.x)
The operation was canceled.