aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-09-29 09:39:53 +0100
committerYann Herklotz <git@yannherklotz.com>2022-09-29 09:45:10 +0100
commit42c952e68ccd293b60f3f44b7f7a6b2f60266608 (patch)
treed5036a55d4fe42f5b7a2a2c7ba8039ea0de2640d
parent6fff98acc423b15db77c62d299b092f899f0f6fc (diff)
downloadvericert-42c952e68ccd293b60f3f44b7f7a6b2f60266608.tar.gz
vericert-42c952e68ccd293b60f3f44b7f7a6b2f60266608.zip
Fix CI runs using flake
-rw-r--r--.github/workflows/main.yml8
1 files changed, 3 insertions, 5 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a4a954c..b6c088d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -26,13 +26,11 @@ jobs:
runs-on: ubuntu-latest
steps:
- - uses: actions/checkout@v2
+ - uses: actions/checkout@v2.4.0
with:
submodules: true
- - uses: cachix/install-nix-action@v12
- with:
- nix_path: nixpkgs=channel:nixos-unstable
+ - uses: cachix/install-nix-action@v15
- name: Build
- run: nix-shell --run "make -j8"
+ run: nix develop -c make -j8