Skip to content

Merge remote-tracking branch 'origin/main' into son/tutorial #1390

Merge remote-tracking branch 'origin/main' into son/tutorial

Merge remote-tracking branch 'origin/main' into son/tutorial #1390

Triggered via push September 2, 2024 15:46
Status Success
Total duration 17m 53s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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