Update the nix file #1579
ci.yml
on: push
check_if_skip_duplicate_job
3s
charon-pin-is-forward
10s
charon-pin-is-merged
11s
userdocs
4s
Annotations
4 errors and 4 warnings
charon-pin-is-merged
Process completed with exit code 1.
|
charon-pin-is-forward
Process completed with exit code 1.
|
lean
Process completed with exit code 1.
|
nix
Process completed with exit code 1.
|
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
|
charon-pin-is-forward
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
|
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
|