From d63bab35eed6a8515c3d9771a282c4726e12b51e Mon Sep 17 00:00:00 2001 From: "Mark A. Grondona" Date: Mon, 9 Oct 2023 13:38:46 -0700 Subject: [PATCH] ci: test compilation of slurm plugin Problem: The slurm plugin is not even compiled in Github CI. Install libslurm-dev to the list of packages to install in the ci container and add --with-slurm to the list of configure options. --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 862db19..bff34a7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -22,14 +22,14 @@ jobs: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 - name: install dependencies - run: sudo apt install libgenders0-dev + run: sudo apt install libgenders0-dev libslurm-dev - name: fix permissions run: chmod -R o-w /home/runner || true - name: configure run: > ./bootstrap && ./configure --with-ssh --with-exec --with-netgroup - --with-dshgroups --with-genders --with-machines + --with-dshgroups --with-genders --with-machines --with-slurm - name: make run: make -j 2 CFLAGS="-Werror" - name: make check