Wouter Wijsman 20a03ef15b Make sure bash is installed

2024-06-16 12:53:36 +02:00

..

compilation.yml

Make sure bash is installed

2024-06-16 12:53:36 +02:00

docker.yml

Add build script and update build.txt

2024-06-16 12:47:30 +02:00

doxygen.yml

Fix GitHub Action deprecation warnings

2024-02-04 15:38:35 +01:00