commit | cd05d68ceb426a1a51e36a0e55551d2b39f15f38 | [log] [tgz] |
---|---|---|
author | Andreas Veithen <andreas.veithen@gmail.com> | Sat Nov 13 12:48:12 2021 +0000 |
committer | Andreas Veithen <andreas.veithen@gmail.com> | Sat Nov 13 13:02:45 2021 +0000 |
tree | 666a713b07ddf1ebe2b834dd6f81dc3b95edad38 | |
parent | bc649d873d7e56479aa21759294c0f19dda9207c [diff] |
Set up Github Actions It looks like we no longer have Jenkins set up. Configure Github Actions so that we have some form of continuous integration.