Skip to content
Lean CI

Merge pull request #150 from MarcusDunn/dependabot/cargo/quote-server… #269

Sign in to view logs

Merge pull request #150 from MarcusDunn/dependabot/cargo/quote-server…

Merge pull request #150 from MarcusDunn/dependabot/cargo/quote-server… #269

Triggered via push December 10, 2023 16:56
@MarcusDunnMarcusDunn
pushed ad3a685
main
Status Cancelled
Total duration 13s
Artifacts –

lean.yml

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