4 Commits

Author SHA1 Message Date
Daniel Lemire
6f9da45af3 Cleaning our CI a bit. 2022-12-13 17:05:04 -05:00
Dirk Stolle
3aaf22e14d update actions/checkout in GitHub Actions to v3 2022-08-30 23:03:10 +02:00
Fabio Pellacini
bd76291dd0 updated test 2021-06-23 23:33:58 +02:00
Fabio Pellacini
cdae8a0357 test for amalgamation 2021-06-23 23:32:10 +02:00