]> Repositorios git - scryer-prolog.git/commit
add miri to CI
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 13:46:04 +0000 (15:46 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 13:46:04 +0000 (15:46 +0200)
commit33793193cc8bdb77c3e98a99090d0b0a90ff4d8f
tree8b84200f37426f69763ba2a1c7f1d12afb9113d0
parent285f11ccdc18c11dd0a2a91840a7f158fb9a2b5a
add miri to CI
.github/workflows/ci.yml
tests/scryer/issues.rs