Skip to content
.github/workflows/ci.yml

Make a massive revamp of the Lean backend #1751

Sign in to view logs

Make a massive revamp of the Lean backend

Make a massive revamp of the Lean backend #1751

Triggered via pull request February 25, 2025 18:07
@sonmarchosonmarcho
opened #444
son/lean
Status Cancelled
Total duration 7m 57s
Artifacts –

ci.yml

on: pull_request
diff_lean_files
2s
diff_lean_files
nix
6m 55s
nix
charon-pin-is-forward
36s
charon-pin-is-forward
charon-pin-is-merged
38s
charon-pin-is-merged
userdocs
2m 27s
userdocs
lean
4m 9s
lean
Fit to window
Zoom out
Zoom in

Annotations

4 errors
nix
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-444' exists
nix
The operation was canceled.
lean
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-444' exists
lean
The operation was canceled.