Merge branch 'master' into 'master'

Remove drivers-041 from x86_64 CI.

See merge request redox-os/redox!1318
This commit is contained in:
Jeremy Soller 2023-03-10 14:16:13 +00:00
commit bdbfaae59d

View file

@ -31,7 +31,6 @@ dash = {}
diffutils = {} diffutils = {}
dosbox = {} dosbox = {}
drivers = {} drivers = {}
#drivers-041 = {}
drivers-initfs = {} drivers-initfs = {}
duktape = {} duktape = {}
eduke32 = {} eduke32 = {}