Skip to content
.github/workflows/ci.yml

update charon-pin #1367

Sign in to view logs

update charon-pin

update charon-pin #1367

Triggered via push August 27, 2024 14:16
@NadrierilNadrieril
pushed 9df5769
escherichia/float
Status Success
Total duration 17m 24s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
6s
check_if_skip_duplicate_job
check-charon-pin
9s
check-charon-pin
userdocs
9s
userdocs
nix
3m 10s
nix
lean
12m 43s
lean
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
check-charon-pin
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
userdocs
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
check_if_skip_duplicate_job
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
nix
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
lean
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1