Skip to content
Github CI

Merge PR #21530: Update ltac2 syntactic classes doc to mention ltac2 … #116

Sign in to view logs

Merge PR #21530: Update ltac2 syntactic classes doc to mention ltac2 …

Merge PR #21530: Update ltac2 syntactic classes doc to mention ltac2 … #116

Triggered via push January 27, 2026 17:01
@yannl35133yannl35133
pushed 1ffddb7
codeowners
Status Cancelled
Total duration 47s
Artifacts –

ci-github.yml

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

Annotations

7 errors
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.
Windows
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists
Windows
The operation was canceled.
Github CI
Canceling since a higher priority waiting request for Github CI @ refs/heads/codeowners exists