3 Commits

Author SHA1 Message Date
Dirk Stolle
3aaf22e14d update actions/checkout in GitHub Actions to v3 2022-08-30 23:03:10 +02:00
Joao Paulo Magalhaes
3eb7bce1e3 re #34: reproduce in the CI 2020-11-15 20:02:13 +00:00
Daniel Lemire
59f4535adf This branch improves portability (under Windows). 2020-10-21 16:44:54 -04:00