Add some definitions to the standard library #1623
sonmarchoci.yml
on: pull_request
diff_lean_files
3s
nix
20s
charon-pin-is-forward
31s
charon-pin-is-merged
25s
userdocs
4s
lean
15m 32s
Annotations
3 errors and 3 warnings
|
charon-pin-is-merged
Process completed with exit code 1.
|
|
nix
Process completed with exit code 1.
|
|
lean
Process completed with exit code 2.
|
|
charon-pin-is-merged
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|
|
nix
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|
|
lean
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|