Commit Graph

52 Commits

Author SHA1 Message Date
Robbert van der Helm c9b8141b6c Verify Boost's checksum in the build workflow 2020-05-04 22:32:44 +02:00
Robbert van der Helm fa8c1cd8f0 Add a GitHub workflow for building on Ubuntu 18.04
I still need to add another target for Ubuntu 20.04, though I can still
compile on my own machine for the time being.
2020-05-04 21:18:31 +02:00