diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4700aca9f3..d857944c91 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,9 @@ jobs: - stable - beta - nightly + update-liboqs: + - true + - false env: # 20 MiB stack RUST_MIN_STACK: 20971520 @@ -24,6 +27,10 @@ jobs: with: submodules: true + - name: Update liboqs submodule + if: matrix.update-liboqs + run: git submodule update --remote + - name: Set stack size if: startsWith(matrix.os, 'windows') run: echo "RUSTFLAGS=-C link-arg=/STACK:20971520" >> $env:GITHUB_ENV