This repository has been archived on 2024-03-23. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor K 8b93db0841 Updates to github actions (#6358)		2023-04-06 14:34:35 +02:00
..
post-upload.sh	Updates to github actions (#6358)	2023-04-06 14:34:35 +02:00
pre-upload.sh	Use GitHub Actions as CI service (#5602)	2020-11-12 06:21:35 +01:00