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

Try to make CI faster #42

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Try to make CI faster #42

wants to merge 8 commits into from

Commits on Jun 23, 2024

  1. Try to make CI faster

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    90a029a View commit details
    Browse the repository at this point in the history
  2. .

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    3bc3fe4 View commit details
    Browse the repository at this point in the history
  3. .

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    cfb5841 View commit details
    Browse the repository at this point in the history
  4. .

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    10e1506 View commit details
    Browse the repository at this point in the history
  5. PR feedback

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    3b3f617 View commit details
    Browse the repository at this point in the history
  6. Use ReTestItems

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    2f7d1e7 View commit details
    Browse the repository at this point in the history
  7. Sync with main

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    394c75d View commit details
    Browse the repository at this point in the history
  8. Bump min Julia version

    Drvi committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    84e92c6 View commit details
    Browse the repository at this point in the history