ci: single quotes

ash-project · Jan 23, 2025 · d76b26e · d76b26e
1 parent 7c19016
commit d76b26e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -19,4 +19,4 @@ jobs:
     with:
       sat-solver: ${{ matrix.sat_solver }}
       igniter-upgrade: ${{matrix.sat_solver == 'SimpleSat'}}
-      publish-docs: ${{matrix.sat_solver == "Picosat"}}
+      publish-docs: ${{matrix.sat_solver == 'Picosat'}}