Skip to content
.github/workflows/ci.yml

Merge pull request #322 from Nadrieril/update-charon #1374

Sign in to view logs

Merge pull request #322 from Nadrieril/update-charon

Merge pull request #322 from Nadrieril/update-charon #1374

Triggered via push August 28, 2024 12:04
@NadrierilNadrieril
pushed 9723ad3
main
Status Success
Total duration 43s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
7s
check_if_skip_duplicate_job
check-charon-pin
9s
check-charon-pin
userdocs
7s
userdocs
nix
0s
nix
lean
0s
lean
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
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
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