Merge branch 'master' of github.com:alejandrogallo/atrip

This commit is contained in:
Alejandro Gallo 2021-09-06 18:33:06 +02:00
commit 0d926aa618

View File

@ -40,7 +40,7 @@ jobs:
run: nix-shell --run 'make bench' run: nix-shell --run 'make bench'
- name: create doc - name: create doc
run: run: |
cd doc && nix-shell --run 'make all' cd doc && nix-shell --run 'make all'
cd doc && echo hello world > index.html cd doc && echo hello world > index.html