aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2023-10-29Make add-to-project work on PRs (#252)Jack
2023-10-19Run linkcheck on push and pull request (#239)GeckoEidechse
2023-10-16Add workflow for adding Issues to the project board (#242)Jack