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

Daikon handling in CI, cleanups #830

Merged
merged 27 commits into from
Aug 9, 2024
Merged

Daikon handling in CI, cleanups #830

merged 27 commits into from
Aug 9, 2024

Commits on Aug 7, 2024

  1. Don't block daikon on misc_jdk21

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    b254ced View commit details
    Browse the repository at this point in the history

  2. Attempt running daikon on GitHub Actions

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    cdb2d25 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of github.com:eisop/checker-framework into azur… 

    …e-deps
    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    ffdccb6 View commit details
    Browse the repository at this point in the history

  4. Improve documentation

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    85bf2a2 View commit details
    Browse the repository at this point in the history

  5. Only keep misc jobs in Azure Pipelines, run them in parallel

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    6b4d10b View commit details
    Browse the repository at this point in the history

  6. Check daikon on all JDKs (is this worth it??), JDK 22 is not experime… 

    …ntal
    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    706a2e1 View commit details
    Browse the repository at this point in the history

  7. Document absence of dependency

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    0752928 View commit details
    Browse the repository at this point in the history

  8. Add debugging output

    @wmdietl
    wmdietl committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    d05394a View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Revert "Add debugging output" 

    This reverts commit d05394a.
    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    56c9d40 View commit details
    Browse the repository at this point in the history

  2. Daikon fails with this-escape warnings in JDK 23+

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    c604a3f View commit details
    Browse the repository at this point in the history

  3. Revert "Revert "Add debugging output"" 

    This reverts commit 56c9d40.
    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    ba9dd31 View commit details
    Browse the repository at this point in the history

  4. Document daikon exclusions.

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    5c850b4 View commit details
    Browse the repository at this point in the history

  5. More debugging

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    ad194d0 View commit details
    Browse the repository at this point in the history

  6. Fix compilation error

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    45063ed View commit details
    Browse the repository at this point in the history

  7. Debugging

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    9e10cd8 View commit details
    Browse the repository at this point in the history

  8. Start undoing debugging output, see at what point it fails

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    b212704 View commit details
    Browse the repository at this point in the history

  9. Undo

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    dc120e3 View commit details
    Browse the repository at this point in the history

  10. Undo

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    e8ab042 View commit details
    Browse the repository at this point in the history

  11. Comment out other tests for now

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    a16d78e View commit details
    Browse the repository at this point in the history

  12. Disable remainder

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    3da3eef View commit details
    Browse the repository at this point in the history

  13. Let's see whether System.setErr is the problem...

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    55360db View commit details
    Browse the repository at this point in the history

  14. Things are still working...

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    7bfa32b View commit details
    Browse the repository at this point in the history

  15. Comment out output...

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    2a78128 View commit details
    Browse the repository at this point in the history

  16. Keep JDK 22 experimental until bug is fixed

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    a9792c7 View commit details
    Browse the repository at this point in the history

  17. Only comment changes are left...

    @wmdietl
    wmdietl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    cff5a51 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Only remove comments...

    @wmdietl
    wmdietl committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    9e1b684 View commit details
    Browse the repository at this point in the history

  2. Restore all jobs

    @wmdietl
    wmdietl committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    54c74df View commit details
    Browse the repository at this point in the history