Try adjusting syntax??

JasonGross · Dec 25, 2023 · 6a02291 · 6a02291
1 parent 5d1a041
commit 6a02291
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -506,7 +506,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        source-name: [ 'docker-master' , 'alpine-edge' , 'archlinux' , 'debian-sid' , 'windows' , 'macos' ]
+        source-name: [docker-master, alpine-edge, archlinux, debian-sid, windows, macos]
         os: [ {name: 'Ubuntu', runs-on: 'ubuntu-latest', container: {name: '', image: ''} }
             , {name: 'Windows', runs-on: 'windows-latest', container: {name: '', image: ''} }
             , {name: 'macOS', runs-on: 'macos-latest', container: {name: '', image: ''} }