aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
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
2021-07-08Format the workflow manually because github stupidTymanWasTaken
2021-07-08WtfTymanWasTaken
2021-07-08Why is it actions not workflowsTymanWasTaken
2021-07-08Allow workflow to edit itselfTymanWasTaken
2021-07-08Testing formatting more than just java filesTymanWasTaken
2021-07-07I can spell latestTymanWasTaken
2021-07-07Add prettier to the github workflowTymanWasTaken
2021-07-06Add workflowTymanWasTaken