Commit graph

3 commits

Author SHA1 Message Date
Tobias Gruetzmacher
fea3a78662 Allow pages workflow to write to the repository 2021-05-10 22:17:00 +02:00
Tobias Gruetzmacher
fa098f955d Fix indentation for pages action 2021-05-01 14:10:48 +02:00
Tobias Gruetzmacher
95918cda88 Move website generation to GitHub Actions 2021-05-01 11:25:01 +02:00