aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Levon <john.levon@nutanix.com>2024-01-24 16:52:21 +0000
committerGitHub <noreply@github.com>2024-01-24 16:52:21 +0000
commitc9effb42d7bbe8346bbb8110961c1e3640a69c23 (patch)
treee68144f4fac26526e568236a7f3db31eaf1b31cb
parent2c6239afef4f1a7c923b59c62b780224f3e4bafa (diff)
downloadlibvfio-user-c9effb42d7bbe8346bbb8110961c1e3640a69c23.zip
libvfio-user-c9effb42d7bbe8346bbb8110961c1e3640a69c23.tar.gz
libvfio-user-c9effb42d7bbe8346bbb8110961c1e3640a69c23.tar.bz2
make arch CI non-required (#789)
The arch github action seems to not work at all. For now, just remove it from the required checks; later, if there's no progress, we can remove it altogether. Signed-off-by: John Levon <john.levon@nutanix.com>
-rw-r--r--.github/settings.yml1
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/settings.yml b/.github/settings.yml
index 01c96ff..d92683e 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -110,7 +110,6 @@ branches:
- fedora-35
- debian-11
- debian-12
- - arch-202307
# Required. Enforce all configured restrictions for administrators. Set to true to enforce required status checks for repository administrators. Set to null to disable.
enforce_admins: true
# Required. Restrict who can push to this branch. Team and user restrictions are only available for organization-owned repositories. Set to null to disable.