Let charon manage Self clauses
#1692
Nadrierilci.yml
on: pull_request
diff_lean_files
3s
nix
7s
charon-pin-is-forward
31s
charon-pin-is-merged
27s
userdocs
4s
lean
2m 18s
Annotations
4 errors
|
charon-pin-is-merged
Process completed with exit code 1.
|
|
nix
Process completed with exit code 1.
|
|
lean
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-413' exists
|
|
lean
The operation was canceled.
|