Skip to content
.github/workflows/ci.yml

Various small code improvements #1625

Sign in to view logs

Various small code improvements

Various small code improvements #1625

Triggered via pull request December 4, 2024 12:25
@NadrierilNadrieril
synchronize #383
Nadrieril:tweaks
Status Cancelled
Total duration 22s
Artifacts –

ci.yml

on: pull_request
diff_lean_files
0s
diff_lean_files
nix
0s
nix
charon-pin-is-forward
8s
charon-pin-is-forward
charon-pin-is-merged
0s
charon-pin-is-merged
userdocs
0s
userdocs
lean
0s
lean
Fit to window
Zoom out
Zoom in

Annotations

6 errors
nix
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
diff_lean_files
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
userdocs
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
charon-pin-is-merged
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
charon-pin-is-forward
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
charon-pin-is-forward
The operation was canceled.