| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-02-27 | Updating workflow (#12) | jani270 |
| 2022-09-05 | Merge pull request #1 | Roman / Linnea Gräf |
| 2022-08-15 | fix github workflow name | Lorenz |
| 2022-08-15 | try to fix github workflow | Lorenz |
| 2022-07-15 | hopefully fixing auto formatting bot from github | Lorenz |
| 2021-07-08 | Format the workflow manually because github stupid | TymanWasTaken |
| 2021-07-08 | Wtf | TymanWasTaken |
| 2021-07-08 | Why is it actions not workflows | TymanWasTaken |
| 2021-07-08 | Allow workflow to edit itself | TymanWasTaken |
| 2021-07-08 | Testing formatting more than just java files | TymanWasTaken |
| 2021-07-07 | I can spell latest | TymanWasTaken |
| 2021-07-07 | Add prettier to the github workflow | TymanWasTaken |
| 2021-07-06 | Add workflow | TymanWasTaken |
