MarcoFalke fac9abbf47
ci: Rename 04_install to 02_run_container
This reflects what the script does (docker run ...).
2023-10-09 16:16:22 +02:00
..
2023-10-03 16:37:43 +02:00