Fix wrong os name CI

interflop · Apr 12, 2024 · 8f3b21e · 8f3b21e
1 parent d2af743
commit 8f3b21e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-ci.yml b/.github/workflows/docker-ci.yml
@@ -53,7 +53,7 @@ jobs:
     strategy:
       matrix:
         include:
-          - os: ubuntu-20.04
+          - os: ubuntu:20.04
             llvm: 7
             gcc: 7
           - os: ubuntu:20.04