Commit Graph

3 Commits

Author SHA1 Message Date
Mario Zechner
5aa9fccec0 Fix pages workflow. 2023-05-28 10:12:43 +02:00
Mario Zechner
9fe8473041 Add push trigger to workflow. 2023-05-28 10:04:41 +02:00
Mario Zechner
8927d84697 GitHub workflow for pages generation. 2023-05-28 09:53:19 +02:00