Skip to content
Dependency Graph

Merge pull request #421 from mkurz/adjust_mima #72

Sign in to view logs

Merge pull request #421 from mkurz/adjust_mima

Merge pull request #421 from mkurz/adjust_mima #72

Triggered via push November 7, 2023 13:37
@mkurzmkurz
pushed 01c607d
main
Status Success
Total duration 59s
Artifacts –

dependency-graph.yml

on: push
Submit dependencies to GitHub
50s
Submit dependencies to GitHub
Fit to window
Zoom out
Zoom in