Skip to content
Linter

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 #110

Sign in to view logs

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 #110

Triggered via pull request July 2, 2025 08:17
@rerpharerpha
opened #247
remove_rubbish
Status Success
Total duration 1m 9s
Artifacts –

Linter.yml

on: pull_request
call-workflow  /  ruff
15s
call-workflow / ruff
call-workflow  /  pyright
15s
call-workflow / pyright
call-workflow  /  code-ql
1m 6s
call-workflow / code-ql
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
call-workflow / code-ql
Unable to validate code scanning workflow: MissingPushHook
call-workflow / code-ql
1 issue was detected with this workflow: Please specify an on.push hook to analyze and see code scanning alerts from the default branch on the Security tab.