Various small code improvements #1604
Triggered via pull request
December 3, 2024 13:28
Nadrieril
Status
Cancelled
Total duration
23m 55s
Artifacts
–
ci.yml
on: pull_request
check_if_skip_duplicate_job
3s
charon-pin-is-forward
10s
charon-pin-is-merged
6s
userdocs
4s
Annotations
4 errors
|
lean
The run was canceled by @Nadrieril.
|
|
lean
The operation was canceled.
|
|
nix
The run was canceled by @Nadrieril.
|
|
nix
The operation was canceled.
|