Skip to content

Remove old tcl scripts - they have not been used in a while. #1408

Remove old tcl scripts - they have not been used in a while.

Remove old tcl scripts - they have not been used in a while. #1408

Triggered via pull request August 30, 2023 13:07
Status Success
Total duration 13m 12s
Artifacts

main.yml

on: pull_request
Matrix: ubuntu-gcc
Fit to window
Zoom out
Zoom in