Repository navigation
Support crux-llvm-0.10 #84
Description
crux-llvm-0.10 has been released on Hackage. We should update copilot-verifier to be able to build against it.
{{ message }}
Support
crux-llvm-0.10 #84crux-llvm-0.10 has been released on Hackage. We should update copilot-verifier to be able to build against it.
Activity
RyanGlScott commentedon Mar 27, 2025
This is blocked on Copilot-Language/copilot#609.