Fedora 30 is end of life, let's use the version 32 instead.
Unfortunately, we have to disable taskswitch2 in the gitlab-ci now.
It does not seem to work anymore with the latest version of gcc and/or
QEMU. We still check it in the travis-ci, though, so until somebody has
some spare time to debug this issue, it should be ok to disable it here.
Signed-off-by: Thomas Huth <thuth@xxxxxxxxxx>
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3093239..13e1a1f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: fedora:30
+image: fedora:32
before_script:
- dnf update -y
@@ -77,6 +77,6 @@ build-i386:
- ./configure --arch=i386
- make -j2
- ACCEL=tcg ./run_tests.sh
- cmpxchg8b eventinj port80 setjmp sieve tsc taskswitch taskswitch2 umip
+ cmpxchg8b eventinj port80 setjmp sieve tsc taskswitch umip
| tee results.txt
- if grep -q FAIL results.txt ; then exit 1 ; fi
--
2.18.1
