
Emily Pillmore
authored
* Changes needed for GenValidate and release.py to accommmodate new solver dependency * Bumps bootstrap plans to modern GHC versions * Update `validate.sh` and `release.py` to accommodate new solver dep. * Update `Makefile` targets
Name | Last commit | Last update |
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
PULL_REQUEST_TEMPLATE.md |