Bernhard E. Reiter 3e79671bb5 Add checker results as GH artifact for integration test ... * Rename and upload checker-result.html to GH.		2022-05-17 10:18:50 +02:00
..
workflows	Add checker results as GH artifact for integration test	2022-05-17 10:18:50 +02:00