diff options
| author | John Levon <john.levon@nutanix.com> | 2024-01-24 16:52:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-24 16:52:21 +0000 |
| commit | c9effb42d7bbe8346bbb8110961c1e3640a69c23 (patch) | |
| tree | e68144f4fac26526e568236a7f3db31eaf1b31cb /Makefile | |
| parent | 2c6239afef4f1a7c923b59c62b780224f3e4bafa (diff) | |
| download | libvfio-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>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions