Remove raise annotations and fix locations on errors #627
Triggered via pull request
November 25, 2024 18:12
Status
Cancelled
Total duration
4m 13s
Artifacts
–
Annotations
4 errors
Build (ubuntu-latest, 5.2.0)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/863/merge' exists
|
Build (ubuntu-latest, 5.2.0)
The operation was canceled.
|
Build (macos-latest, 5.2.0)
Canceling since a higher priority waiting request for 'opam CI-refs/pull/863/merge' exists
|
Build (macos-latest, 5.2.0)
The operation was canceled.
|