gallo/atrip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update build

Browse Source
This commit is contained in:
Alejandro Gallo
2021-09-03 15:53:17 +02:00
parent f36b9a2022
commit 087bb57c85
5 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/main.yml vendored
View File

@@ -29,3 +29,9 @@ jobs:
- name: Tangle
run: nix-shell --run 'make tangle'
- name: Build lib
run: nix-shell --run 'make lib'
- name: Build bench
run: nix-shell --run 'make lib'