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.

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

Add and fix some aqua tests #1965

Merged
merged 7 commits into from
Jun 16, 2023
Merged

Commits on Jun 16, 2023

  1. Add aqua tests

    charleskawczynski authored and maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    e307ca8 View commit details
    Browse the repository at this point in the history
  2. Fix aqua tests

    charleskawczynski authored and maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    322c038 View commit details
    Browse the repository at this point in the history
  3. More Aqua tests.

    maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    7c9e435 View commit details
    Browse the repository at this point in the history
  4. Remove unused typevars.

    maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    7d22012 View commit details
    Browse the repository at this point in the history
  5. Formatting.

    maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    da1f2b3 View commit details
    Browse the repository at this point in the history
  6. Disable piracy test on 1.6.

    maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    2df324e View commit details
    Browse the repository at this point in the history
  7. Move test.

    [skip ci]
    maleadt committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    26de26c View commit details
    Browse the repository at this point in the history