Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run s2n tests for only one GHC version #1386

Closed
wants to merge 8 commits into from

Use only Z3 4.8.12 on Ubuntu 20.04

4d1c15d
Select commit
Loading
Failed to load commit list.
Closed

Run s2n tests for only one GHC version #1386

Use only Z3 4.8.12 on Ubuntu 20.04
4d1c15d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs