commit | 93e2807ce336c43934e42c8f85759d12f71c4ac9 | [log] [tgz] |
---|---|---|
author | Andreas Veithen <andreas.veithen@gmail.com> | Sat Jul 09 11:43:59 2022 +0000 |
committer | Andreas Veithen <andreas.veithen@gmail.com> | Sat Jul 09 11:47:31 2022 +0000 |
tree | 82ff19cc64bee03972f295cfc4bcbb6f6e7f7545 | |
parent | daf9edcc466e1ebceec2d7f0ef743e380ad386c0 [diff] |
Set up Github Actions I couldn't find the project on Jenkins. Configure Github Actions so that we have some form of continuous integration.