]> Nishi Git Mirror - gwion.git/commitdiff
Retry with latest
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 13:44:23 +0000 (15:44 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 13:44:23 +0000 (15:44 +0200)
.github/workflows/build.yml

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