aboutsummaryrefslogtreecommitdiff
path: root/.github/settings.yml
AgeCommit message (Expand)AuthorFilesLines
2022-05-12add an ubuntu-latest PR run (#668)John Levon1-0/+1
2022-03-24retire ubuntu-18 CI (#656)John Levon1-1/+0
2021-11-11Use fedora35 for pre-push test (#620)Swapnil Ingle1-1/+1
2021-05-14enforce linear, squashed history in master branch (#496)John Levon1-2/+2
2021-02-15rename fedora workflow (#339)John Levon1-1/+1
2021-01-22fix compilation on newer GCC versions (#241)John Levon1-0/+1
2020-12-16add github settings configuration (#207)John Levon1-0/+113