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