Upgrade JDKs used by GitHub Actions builds #1731

Triggered via pull request October 4, 2023 09:00

rickie

synchronize #780

Status Success

Total duration 1m 48s

Artifacts 1

pitest-analyze-pr.yml

on: pull_request

Produced during runtime

Name	Size
pitest-reports Expired	319 Bytes