From 62c4c34e159f32937c64e6426414b617be8d53bd Mon Sep 17 00:00:00 2001 From: Mark Gillard Date: Fri, 22 Apr 2022 23:27:11 +0300 Subject: [PATCH] ci: fix doxygen generation not running Also took the opportunity to add some sensible filters to the main ci script. --- .github/workflows/ci.yaml | 26 +++++++++++++++++++++++++- .github/workflows/gh-pages.yaml | 14 +++++++++++--- 2 files changed, 36 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index afb49f1..407cc82 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,30 @@ name: ci -on: [push, pull_request] +on: + push: + branches: + - master + paths: + - '**.h' + - '**.hpp' + - '**.cpp' + - '**.inl' + - '**.py' + - '**/meson.build' + pull_request: + branches: + - master + paths: + - '**.h' + - '**.hpp' + - '**.cpp' + - '**.inl' + - '**.py' + - '**/meson.build' + workflow_dispatch: + branches: + - master + # This ensures that jobs get canceled when force-pushing concurrency: diff --git a/.github/workflows/gh-pages.yaml b/.github/workflows/gh-pages.yaml index 45b26f0..06c2bfd 100644 --- a/.github/workflows/gh-pages.yaml +++ b/.github/workflows/gh-pages.yaml @@ -2,8 +2,16 @@ name: gh-pages on: push: - branches: master - paths: docs/** + branches: + - master + paths: + - '**.h' + - '**.hpp' + - '**.dox' + - 'docs/**' + workflow_dispatch: + branches: + - master jobs: gh-pages: @@ -21,7 +29,7 @@ jobs: - name: Install dependencies run: | apt-get -y update - apt-get -y install --no-install-recommends python3-pip doxygen + apt-get -y install --no-install-recommends python3-pip doxygen git pip3 install --upgrade --requirement tools/requirements.txt - name: Generate docs