Various small code improvements #1608
Triggered via pull request
December 3, 2024 13:51
Nadrieril
Status
Cancelled
Total duration
4m 57s
Artifacts
–
ci.yml
on: pull_request
nix
0s
lean
2m 1s
charon-pin-is-forward
8s
charon-pin-is-merged
0s
userdocs
0s
Annotations
5 errors
|
nix
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
|
|
userdocs
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
|
|
lean
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-383' exists
|
|
lean
The operation was canceled.
|