aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-07-17 21:23:38 +0100
committerYann Herklotz <git@yannherklotz.com>2020-07-17 21:23:38 +0100
commit5a2174e162bc8fb93ecc7d5e1f715c027a5db534 (patch)
tree5be7990f4c4a7a7cd7042f6b549f6a720b3e0353 /.github
parentdc9d663c2fcdc6e4b182057ac0c36db052fdc5f1 (diff)
downloadvericert-5a2174e162bc8fb93ecc7d5e1f715c027a5db534.tar.gz
vericert-5a2174e162bc8fb93ecc7d5e1f715c027a5db534.zip
Recursive cloning
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yml3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e3ad12e..0c9391b 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -21,10 +21,11 @@ jobs:
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v2
+ with:
+ submodules: true
- name: Install Nix
uses: cachix/install-nix-action@v10
- name: Build
run: nix-shell --run "make -j8"
-