aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2022-09-05Merge pull request #1Roman / Linnea Gräf
2022-08-15fix github workflow nameLorenz
2022-08-15try to fix github workflowLorenz
2022-07-15hopefully fixing auto formatting bot from githubLorenz
2022-07-07init lorenz modLorenz