Upload HTML test report #3010
Changes to CI pipeline for uploading the HTML test report generated by Gradle.
In the second step these artifacts are gathered by https://github.com/KeYProject/artiweb/ to give more test insights.
It also disables the failing (on external PR) test reporter action.
Artifacts
- 17. Feb 2023 15:04 (3380.13 kB large)
- 05. Feb 2023 16:00 (3375.65 kB large)
- 03. Feb 2023 13:16 (3672.31 kB large)
- 02. Feb 2023 23:30 (3673.13 kB large)
- 02. Feb 2023 16:10 (3671.69 kB large)
- 31. Jan 2023 16:26 (3700.62 kB large)