Chris Vest 584a275a7b Try to make the PR Reports workflow more robust (#11620) ... Motiviation: The workflow from the default branch is the one that gets to run for all PRs, regardless of what branch they are targeting. This means the 4.1 PR Reports workflow needs to tollerate master branch PRs, where there is no Java 8 builds. Modification: Make the PR Reports tolerate that the Java 8 matrix fails if they are missing. Result: Hopefully we'll get working PR Reports for master branch PRs now.		2021-08-26 11:20:53 +02:00
..
ci-build.yml	Ensure we include hs_err* files when build failed (#11525)	2021-07-29 08:48:31 +02:00
ci-deploy.yml	Add license header to our scripts and workflows (#11282)	2021-05-19 14:07:00 +02:00
ci-pr-reports.yml	Try to make the PR Reports workflow more robust (#11620)	2021-08-26 11:20:53 +02:00
ci-pr.yml	Add CI job for JDK17 (#11584)	2021-08-18 10:13:20 +02:00
ci-release.yml	Make build log output less chatty (#11365)	2021-06-07 10:54:43 +02:00
codeql-analysis.yml	Make build log output less chatty (#11365)	2021-06-07 10:54:43 +02:00