Skip to content
Dependency Graph

Merge pull request #408 from mkurz/revert_mima #58

Sign in to view logs

Merge pull request #408 from mkurz/revert_mima

Merge pull request #408 from mkurz/revert_mima #58

Triggered via push October 18, 2023 23:11
@mkurzmkurz
pushed d960948
main
Status Success
Total duration 1m 19s
Artifacts –

dependency-graph.yml

on: push
Submit dependencies to GitHub
1m 10s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in