Skip to content
opam CI

feat: add refutation clause #243

Sign in to view logs

feat: add refutation clause

feat: add refutation clause #243

Triggered via pull request July 21, 2024 05:04
@anmonteiroanmonteiro
opened #2765
anmonteiro/add-refutation
Status Cancelled
Total duration 42s
Artifacts –

opam-ci.yml

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

Annotations

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