Skip to content
.github/workflows/ci.yml

Various small code improvements #1607

Sign in to view logs

Various small code improvements

Various small code improvements #1607

Triggered via pull request December 3, 2024 13:50
@NadrierilNadrieril
synchronize #383
Nadrieril:tweaks
Status Cancelled
Total duration 27s
Artifacts –

ci.yml

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

Annotations

5 errors
lean
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
nix
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-forward
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists