Skip to content
Lean CI

Merge pull request #161 from MarcusDunn/dependabot/cargo/lean/futures… #305

Sign in to view logs

Merge pull request #161 from MarcusDunn/dependabot/cargo/lean/futures…

Merge pull request #161 from MarcusDunn/dependabot/cargo/lean/futures… #305

Triggered via push January 1, 2024 22:53
@MarcusDunnMarcusDunn
pushed f3d8f3c
main
Status Cancelled
Total duration 9s
Artifacts –

lean.yml

on: push
changes
0s
changes
Tests
0s
Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
changes
Canceling since a higher priority waiting request for 'Lean CI-refs/heads/main' exists