David Bauer d9621048ed actions: pin Ubuntu version ... ubuntu-latest is now assigned to Ubuntu 20.04. As we use custom apt sources for 18.04, pin to this version for now to fix the CI.		2021-02-15 01:38:51 +01:00
..
generate-actions.py	actions: pin Ubuntu version	2021-02-15 01:38:51 +01:00
install-dependencies.sh	actions: script improvements	2020-05-13 15:48:06 +02:00
run-build.sh	actions: script improvements	2020-05-13 15:48:06 +02:00
sources.list	contrib: actions: add custom sources.list	2020-04-05 19:43:57 +02:00