Update ci
This commit is contained in:
parent
02b6dff70c
commit
231e84166f
3
.github/workflows/main.yml
vendored
3
.github/workflows/main.yml
vendored
@ -30,6 +30,9 @@ jobs:
|
|||||||
- name: Tangle
|
- name: Tangle
|
||||||
run: nix-shell --run 'make tangle'
|
run: nix-shell --run 'make tangle'
|
||||||
|
|
||||||
|
- name: Build external dependencies
|
||||||
|
run: nix-shell --run 'make extern'
|
||||||
|
|
||||||
- name: Build lib
|
- name: Build lib
|
||||||
run: nix-shell --run 'make lib'
|
run: nix-shell --run 'make lib'
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user