2 Commits

Author SHA1 Message Date
Pau RE 97ed2d5099 Update github actions 2024-06-20 13:33:56 +02:00
Pau RE de8adb4f5b Rename pushrm workflow 2023-12-27 18:47:21 +01:00