]> Nishi Git Mirror - gwion.git/commitdiff
try to build
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 19:41:53 +0000 (20:41 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 19:41:53 +0000 (20:41 +0100)
.github/workflows/build.yml

index 073a45796e17e9d8871b79249d00259f604438b4..6eae57037cb52665d4bcbcbbf1bdf4f552040d39 100644 (file)
@@ -24,4 +24,9 @@ jobs:
         echo Add other actions to build,
         echo test, and deploy your project.
         export PATH=~/.cabal/bin:$PATH
-        mdr README.mdr
+        make build
+#        git branch -r | grep gh-pages && git push origin :gh-pages || true
+#        git config --local user.email "action@github.com"
+#        git config --local user.name "GitHub Action"
+#        git add -f book
+#        git commit -m "add book"