From 6cce8aaba75dd5d8a507db4357f998af33fa4d6a Mon Sep 17 00:00:00 2001 From: Erwann Date: Fri, 12 Jan 2024 17:39:06 +0100 Subject: [PATCH] Update ci.yml --- .github/workflows/ci.yml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6da3e23c..f7a66362 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -7,7 +7,7 @@ on: branches: [ "master", "dev" ] jobs: - build: + build_and_check: runs-on: ubuntu-latest @@ -16,7 +16,7 @@ jobs: uses: actions/checkout@v2 - name: install dependencies - run: sudo apt-get install -y autoconf + run: sudo apt-get install -y autoconf libghc-criterion-dev - name: autoreconf install run: autoreconf --install @@ -69,9 +69,6 @@ jobs: - name: Run doxygen run: doxygen Doxyfile - - name: specify the index.html in subdir - run: git subtree push --prefix html origin gh-pages - - name: deploy page uses: actions/deploy-pages@v4.0.3 with: