Skip to content

Remove now defunct SECI tools, add comments to instrument_deploy and instrument_install, remove repo tool in favour of just using 'gh', delete other old stuff that was for v4.0.0 or for someone else's machine 10 years ago #237

Remove now defunct SECI tools, add comments to instrument_deploy and instrument_install, remove repo tool in favour of just using 'gh', delete other old stuff that was for v4.0.0 or for someone else's machine 10 years ago

Remove now defunct SECI tools, add comments to instrument_deploy and instrument_install, remove repo tool in favour of just using 'gh', delete other old stuff that was for v4.0.0 or for someone else's machine 10 years ago #237

Triggered via pull request July 2, 2025 08:17
Status Success
Total duration 38s
Artifacts

push_event_workflow.yml

on: pull_request
unit-testing
34s
unit-testing
Fit to window
Zoom out
Zoom in