Skip to content
Lean CI

Merge pull request #162 from MarcusDunn/dependabot/github_actions/doc… #315

Sign in to view logs

Merge pull request #162 from MarcusDunn/dependabot/github_actions/doc…

Merge pull request #162 from MarcusDunn/dependabot/github_actions/doc… #315

Triggered via push January 1, 2024 22:54
@MarcusDunnMarcusDunn
pushed e760002
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