Closed MatthijsBurgh closed 1 year ago
Working CI in code_profiler: https://github.com/tue-robotics/code_profiler/actions/runs/4430653718/jobs/7773200835
code_profiler
Do we want to keep or delete https://github.com/tue-robotics/tue-env/blob/master/ci/delete-docker-tags.py?
Working CI in
code_profiler
: https://github.com/tue-robotics/code_profiler/actions/runs/4430653718/jobs/7773200835Do we want to keep or delete https://github.com/tue-robotics/tue-env/blob/master/ci/delete-docker-tags.py?