Update charon #1718
Nadrierilci.yml
on: pull_request
diff_lean_files
3s
nix
1m 2s
charon-pin-is-forward
29s
charon-pin-is-merged
16s
userdocs
1m 56s
lean
14m 24s
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.
|