ci: split the original push workflow into 4 seperate ones

2024-09-14 20:23:39 +01:00 · 2024-09-14 20:23:39 +01:00 · 9e2a58cc7e
commit 9e2a58cc7e
parent 93e127ad4e
8 changed files with 90 additions and 53 deletions
--- a/Minutes/2024-2025/Committee/2024-09-13.md
+++ b/Minutes/2024-2025/Committee/2024-09-13.md
@ -101,4 +101,4 @@ Milan and co want to give a presentation on Microsoft


 #### 1st year wants to promote a class discord
-Approved without any issue.
+Approved without any issue.