Commit Graph
3 Commits
Author SHA1 Message Date
Alice Ryhl 8198f9e28e Make strict provenance compatible (#542) 2022-04-16 00:26:58 +02:00
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