From cff7a933c63fd50ffbfd7937c9e1383ef3e09efb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= Date: Wed, 9 Oct 2024 23:24:52 +0200 Subject: [PATCH] CI --- .github/workflows/push_CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/push_CI.yml b/.github/workflows/push_CI.yml index 56b3ae968c..1fff54c2ab 100644 --- a/.github/workflows/push_CI.yml +++ b/.github/workflows/push_CI.yml @@ -64,4 +64,5 @@ jobs: - name: "Check parts" run: | cd ${REPO} + make check MOD=fq_default make check MOD=fq_default_poly