Brendan Golden 9e2a58cc7e ci: split the original push workflow into 4 seperate ones		2024-09-14 20:23:39 +01:00
..
actions/build-release-pdf	ci: test splitting it up into several different workflows	2024-09-14 20:15:55 +01:00
workflows	ci: split the original push workflow into 4 seperate ones	2024-09-14 20:23:39 +01:00