Oliver Gugger ae4a1908dd GitHub: fetch full history for release build ... To make sure git has the full history, including all annotated tags, we need to explicitly fetch everything on checkout.		2021-01-05 10:41:34 +01:00
..
docker.yml	GitHub: specify docker image platforms	2020-12-11 08:51:33 +01:00
main.yml	github: add workflow that allows us to pin dependencies	2020-12-15 21:17:11 +02:00
release.yaml	GitHub: fetch full history for release build	2021-01-05 10:41:34 +01:00