aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)AuthorFilesLines
2022-03-15github: Add workflow to build and deploy docsJoel Stanley1-0/+30
2022-03-07ci: remove Fedora 33Dan HorĂ¡k1-1/+1
2022-03-07ci: Remove Centos 8Joel Stanley1-1/+1
2021-11-05CI: Small cleanup in the github actions workflow fileFrederic Barrat1-3/+10
2021-11-05CI: Add Fedora 35 to github actionsFrederic Barrat1-1/+2
2021-11-03CI: start using github actionsFrederic Barrat1-0/+18
2020-06-05github: update pull request templateOliver O'Halloran1-3/+18
2019-07-15Add github template telling people not to use pull requestsJoel Stanley1-0/+3