tree 666a713b07ddf1ebe2b834dd6f81dc3b95edad38
parent bc649d873d7e56479aa21759294c0f19dda9207c
author Andreas Veithen <andreas.veithen@gmail.com> 1636807692 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1636808565 +0000

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.