Tobi Schäfer 6ebdd6aa31 Leave aside compiling for different Java versions for now		2025-02-28 22:15:00 +01:00
..
actions/ssh	Add reusable workflow for setting up SSH agent	2024-06-01 20:21:36 +02:00
workflows	Leave aside compiling for different Java versions for now	2025-02-28 22:15:00 +01:00