Skip to content
Github CI

Ensure all files have designated maintainers #119

Sign in to view logs

Ensure all files have designated maintainers

Ensure all files have designated maintainers #119

Triggered via push January 29, 2026 13:19
@yannl35133yannl35133
pushed 1c1b104
codeowners
Status Cancelled
Total duration 5m 37s
Artifacts –

ci-github.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Windows
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists
Windows
The operation was canceled.
Linux (latest OCaml)
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists
Linux (latest OCaml)
The operation was canceled.
macOS
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists
macOS
The operation was canceled.
Github CI
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists