search

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.
https://wiki.portal.chalmers.se/agda/pmwiki.php
Other
2.4k stars 339 forks source link

Fix #6739: testing GHC backend: use separate -outputdir to avoid races #7264

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

Hopefully fixes #6739 (time will tell as races only show up sometimes).