3 Commits

Author	SHA1	Message	Date
Sebastian Pipping	25b48c5113	Pin GitHub Actions to specific commits for security	2023-04-18 01:10:02 +02:00
Sebastian Pipping	c82287f965	Use GitHub Dependabot to keep the GitHub Actions up to date	2021-02-20 17:12:31 +01:00
Sebastian Pipping	33c079e7ae	Use GitHub Actions to build on Linux using Apache Ant	2021-02-20 17:12:31 +01:00