]> Nishi Git Mirror - gwion.git/commitdiff
Do not use latest mdbook (this is a test)
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 13:33:52 +0000 (15:33 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 13:33:52 +0000 (15:33 +0200)
.github/workflows/build.yml

index 7494ffe2f3bbb3465838f1a88dadcc40ac2e2195..64d77e6034a59b67154e161db9951469408b1c67 100644 (file)
@@ -20,8 +20,6 @@ jobs:
 
     - name: MdBook
       uses: peaceiris/actions-mdbook@v1
-      with:
-        mdbook-version: 'latest'
 
     - name: Get benchmarks
       run: |