chore: remove pinned packages #197
Triggered via pull request
September 5, 2024 14:53
anmonteiro
Status
Cancelled
Total duration
2m 51s
Artifacts
–
Annotations
4 errors
|
Build and test (ubuntu-latest, 5.1)
Canceling since a higher priority waiting request for 'Opam Pipeline-refs/pull/209/merge' exists
|
|
Build and test (ubuntu-latest, 5.1)
The operation was canceled.
|
|
Build and test (ubuntu-latest, 5.2)
Canceling since a higher priority waiting request for 'Opam Pipeline-refs/pull/209/merge' exists
|
|
Build and test (ubuntu-latest, 5.2)
The operation was canceled.
|