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

Jump to bottom

Run s2n tests for only one GHC version #1386

Closed
wants to merge 8 commits into from
Closed

Run s2n tests for only one GHC version #1386

wants to merge 8 commits into from

Commits on Sep 14, 2021

  1. Update CI to use GHC 8.10.4 instead of 8.10.3

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    390f362 View commit details
    Browse the repository at this point in the history

  2. Revamp the GHC/OS matrix

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    3c55685 View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary what4 flags from freeze file

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    37e3da8 View commit details
    Browse the repository at this point in the history

  4. Remove what4 constraints for GHC 8.8.4

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    4383be8 View commit details
    Browse the repository at this point in the history

  5. Re-freeze for GHC 8.10.4

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    3708907 View commit details
    Browse the repository at this point in the history

  6. Freeze file for GHC 8.10.4 with tests enabled

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    3734e71 View commit details
    Browse the repository at this point in the history

  7. Attempt a fix to the ocaml-tests job

    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    c8127e1 View commit details
    Browse the repository at this point in the history

  8. Use only Z3 4.8.12 on Ubuntu 20.04 

    Older Z3 and Ubuntu versions are causing trouble.
    Aaron Tomb committed Sep 14, 2021
    Configuration menu
    Copy the full SHA
    4d1c15d View commit details
    Browse the repository at this point in the history