Commit Graph

2 Commits

Author SHA1 Message Date
Dave Murphy
84b92d9e64
use correct badge for github workflow (#555) 2021-06-10 19:47:45 +02:00
Dave Murphy
4bd7863364 add github workflow building 2021-05-20 08:27:51 +01:00