Skip to content

Merge branch 'ci/tools_fix' #17

Merge branch 'ci/tools_fix'

Merge branch 'ci/tools_fix' #17

Triggered via push June 12, 2024 14:40
Status Success
Total duration 15s
Artifacts
Check if tools have been changed
4s
Check if tools have been changed
Matrix: build-pytools-binaries
Fit to window
Zoom out
Zoom in