Fix a typo in the Github action and README.

PiperOrigin-RevId: 687470528

.github/workflows/ci.yml

@@ -42,7 +42,7 @@ jobs:
       - name: Save bazel cache
         uses: actions/cache/save@v4
         # Only create a new cache entry if we're on the main branch or the build takes >5mins.
-        if: github.ref_name == "main" || env.duration > 300
+        if: github.ref_name == 'main' || env.duration > 300
         with:
           path: "~/.cache/bazel"
           key: bazel-${{ hashFiles('MODULE.bazel', 'WORKSPACE.bazel', '.bazelrc') }}-${{ github.ref_name }}-${{ github.run_id }}

README.md

@@ -11,7 +11,7 @@ programming, and reasoning about packet-switched networks. Key features include:
 *   Strong mathematical foundation.
 
 If you want to learn more, you may check out the list of
-[pulbications on NetKAT](#academic-publications-on-netkat) below. In the future,
+[publications on NetKAT](#academic-publications-on-netkat) below. In the future,
 we also hope to provide a gentler introduction to NetKAT in the form of a
 tutorial.