Fix ci
This commit is contained in:
parent
0063518e58
commit
d8c7a79414
2
.github/workflows/main.yml
vendored
2
.github/workflows/main.yml
vendored
@ -34,4 +34,4 @@ jobs:
|
|||||||
run: nix-shell --run 'make lib'
|
run: nix-shell --run 'make lib'
|
||||||
|
|
||||||
- name: Build bench
|
- name: Build bench
|
||||||
run: nix-shell --run 'make lib'
|
run: nix-shell --run 'make bench'
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user