Commit Graph

4 Commits

Author SHA1 Message Date
Mario Zechner
f26b5c3625 Closes #34 2023-05-30 10:34:25 +02:00
Mario Zechner
70b66fd55e More workflow changes. 2023-05-28 11:34:56 +02:00
Mario Zechner
a42ad8738c New workflow attempt. 2023-05-28 11:26:17 +02:00
Mario Zechner
8927d84697 GitHub workflow for pages generation. 2023-05-28 09:53:19 +02:00