aboutsummaryrefslogtreecommitdiff
path: root/.github/settings.yml
AgeCommit message (Collapse)AuthorFilesLines
2022-05-12add an ubuntu-latest PR run (#668)John Levon1-0/+1
Without this, we didn't detect the openssl-3.0 build breakage. Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
2022-03-24retire ubuntu-18 CI (#656)John Levon1-1/+0
This OS version's valgrind lacks --exit-on-first-error, so let's stop trying to build in it. We still have centos 7 as "old Linux". Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
2021-11-11Use fedora35 for pre-push test (#620)Swapnil Ingle1-1/+1
Recent pre-push runs on fedora34 are failing with setup issues, where it complains abour GLIBC_2.34 not found. Now instead we can start using fedora35 Signed-off-by: Swapnil Ingle <swapnil.ingle@nutanix.com> Reviewed-by: John Levon <john.levon@nutanix.com>
2021-05-14enforce linear, squashed history in master branch (#496)John Levon1-2/+2
Due to the CI infrastructure, the logical unit of "keeping the master branch green" is individual PRs (tests can't be run on intra-PR commits). Therefore, we need to enforce that PRs are squashed to a single commit when pushing to master, which also helps keep a clean, meaningful history. Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Swapnil Ingle <swapnil.ingle@nutanix.com>
2021-02-15rename fedora workflow (#339)John Levon1-1/+1
We're no longer running CI on fedora-rawhide, so rename it. Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
2021-01-22fix compilation on newer GCC versions (#241)John Levon1-0/+1
A newer GCC caught that in test_dma_controller_add_region_no_fd(), we were not allocating enough stack space for the region at the end of the dma_controller_t. Also add Fedora Rawhide to github CI for this. Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
2020-12-16add github settings configuration (#207)John Levon1-0/+113
Using https://github.com/apps/settings, we can directly configure the repository configuration by modifying and pushing .github/settings.yml Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Swapnil Ingle <swapnil.ingle@nutanix.com>