Update doc.yml

atnos-org · Aug 11, 2023 · fb7ae9d · fb7ae9d
1 parent 5e1d311
commit fb7ae9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -17,7 +17,6 @@ jobs:
     - uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
       with:
         ref: ${{ github.event.pull_request.head.sha }}
-    - run: echo "${{ toJson(github) }}"
     - name: Install pandoc
       run: ./.github/install_pandoc.sh
     - uses: coursier/cache-action@d1039466d0812d6370649b9afb02bbf5f646bacf # v6.4.3
@@ -30,6 +29,7 @@ jobs:
     - run: |
         cp -r target/specs2-reports/site/* gh-pages/
         pushd gh-pages
+        git checkout -- javascript
         git diff > diff.txt
         wc -l diff.txt
         popd