Skip to content
Lean CI

Merge pull request #143 from MarcusDunn/dependabot/cargo/cli/clap-4.4.11 #246

Sign in to view logs

Merge pull request #143 from MarcusDunn/dependabot/cargo/cli/clap-4.4.11

Merge pull request #143 from MarcusDunn/dependabot/cargo/cli/clap-4.4.11 #246

Triggered via push December 10, 2023 16:37
@MarcusDunnMarcusDunn
pushed bd98f9d
main
Status Cancelled
Total duration 12s
Artifacts –

lean.yml

on: push
changes
3s
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