Commit Graph
2 Commits
Author SHA1 Message Date
Ralf Jung 88f5e12350 update Miri CI config (#534) 2022-03-09 10:29:04 +01:00
Ralf Jung 27a0f9ca6e CI: run test suite in Miri (#456) 2020-12-29 22:54:48 +01:00