Skip to content
CI Jobs

chore: Update Lean to v4.33.1 #90

Sign in to view logs

chore: Update Lean to v4.33.1

chore: Update Lean to v4.33.1 #90

Triggered via pull request August 22, 2026 15:48
@samuelburnhamsamuelburnham
synchronize #27
update/lean-v4.33.1
Status Cancelled
Total duration 38s
Artifacts –

ci.yml

on: pull_request
test
20s
test
nix
33s
nix
Fit to window
Zoom out
Zoom in

Annotations

5 errors
test
Canceling since a higher priority waiting request for CI Jobs-update/lean-v4.33.1 exists
test
The operation was canceled.
nix
Canceling since a higher priority waiting request for CI Jobs-update/lean-v4.33.1 exists
nix
The operation was canceled.
CI Jobs
Canceling since a higher priority waiting request for CI Jobs-update/lean-v4.33.1 exists