Skip to content

Revert some modifications #1353

Revert some modifications

Revert some modifications #1353

Triggered via push August 27, 2024 08:19
Status Cancelled
Total duration 15m 38s
Artifacts

ci.yml

on: push
check_if_skip_duplicate_job
7s
check_if_skip_duplicate_job
check-charon-pin
10s
check-charon-pin
userdocs
7s
userdocs
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
nix
The run was canceled by @github-actions[bot].
lean
The run was canceled by @github-actions[bot].
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-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
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