Skip to content

Making tests run on Linux, too -- thanks to Emilio Lopez

d477376
Select commit
Loading
Failed to load commit list.
Closed

GHC 9.6 v4 try, with CVC5 this time around. #507

Making tests run on Linux, too -- thanks to Emilio Lopez
d477376
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs