Let charon manage Self clauses
#1686
Nadrierilci.yml
on: pull_request
diff_lean_files
2s
nix
57s
charon-pin-is-forward
8s
charon-pin-is-merged
9s
userdocs
4s
lean
12m 51s
Annotations
3 errors
|
charon-pin-is-merged
Process completed with exit code 1.
|
|
nix
Process completed with exit code 1.
|
|
lean
Process completed with exit code 2.
|