Skip to content

Merge pull request #552 from mkurz/pin_deps #78

Merge pull request #552 from mkurz/pin_deps

Merge pull request #552 from mkurz/pin_deps #78

Triggered via push June 18, 2024 20:53
Status Failure
Total duration 1m 3s
Artifacts
Submit dependencies to GitHub
56s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in