aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2023-11-30pull_request_target > pull_requesthannibal2
2023-11-30Auto removing all labels of prs on merging/closing.hannibal2
2023-11-05A maintainer will no longer review the pull request shortly.hannibal2
2023-10-29GitHub Action: Merge Conflict Labels (#649)Walker Selby
2023-08-07Fix workdir and always upload test resultsnea
2023-08-07Basic test for dungeon itemsnea
2023-02-27Updating workflow (#12)jani270
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