Files
create/.github
Joao Matos a9b7490a82 CI: Extract apt packages installation into a script.
This provides a few benefits, as regular users can just call this script
as well and not need to copy this from the CI files to know which files
to install.
2025-03-02 16:35:30 -06:00
..
2024-11-22 07:50:01 +01:00
2022-12-13 13:29:02 +01:00
2025-03-01 16:17:08 +01:00