anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-23 16:25:37 +03:00
Code Issues Projects Releases Wiki Activity

Fixing ci, remove md file

Browse Source
This commit is contained in:
Jonathan Prieto-Cubides 2021-12-04 14:38:28 +01:00
parent 24d8c5028b
commit 2c74703716
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/ci.yml vendored
View File

@ -25,6 +25,7 @@ jobs:
run: |
cd main
make docs
rm docs/README.md
- name: Deploy HTML to github pages
if: steps.html.outputs.cache-hit != 'true'