Don't distinguish provided and required methods #1740
Triggered via pull request
February 12, 2025 11:07
Nadrieril
Status
Failure
Total duration
14m 59s
Artifacts
–
ci.yml
on: pull_request
diff_lean_files
3s
nix
5m 43s
charon-pin-is-forward
8s
charon-pin-is-merged
9s
userdocs
4s
lean
14m 5s
Annotations
1 error and 1 warning
|
charon-pin-is-merged
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.321.0. Please update to the latest version 2.322.0
|