Merge pull request #26 from ajfAfg/fix-typo

Fix typo
ajfAfg · Jan 2, 2024 · 4b0d555 · 4b0d555
2 parents 8e95c79 + cdf7751
commit 4b0d555
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
@@ -56,7 +56,7 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3
-      - name: Demonstrate with polynomial_time_without_correctness
+      - name: Demonstrate with exp_time_with_correctness
         run: |
           mkdir _checkouts
           ln -s ${PWD}/../ _checkouts/bean