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

Fix a glitch in CI #498

Merged
merged 7 commits into from
Aug 27, 2024
Merged

Fix a glitch in CI #498

merged 7 commits into from
Aug 27, 2024

Commits on Aug 27, 2024

  1. Revise scripts for code gen tests

    Avoid name clash that seems to have appeared with a recent
    Scala version.
    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    a4b5c68 View commit details
    Browse the repository at this point in the history
  2. Display scala version

    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    30625a9 View commit details
    Browse the repository at this point in the history
  3. Revert "Revise scripts for code gen tests"

    This reverts commit a4b5c68.
    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    b9d9235 View commit details
    Browse the repository at this point in the history
  4. Revise code gen test

    Work around changes in scala
    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    dbb8d18 View commit details
    Browse the repository at this point in the history
  5. Revise code gen test

    Attempt to be compatible with Scala 3.5.0
    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    d4ed1c6 View commit details
    Browse the repository at this point in the history
  6. Revert "Revise code gen test"

    This reverts commit d4ed1c6.
    bocchino committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    3529219 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    a7c2899 View commit details
    Browse the repository at this point in the history