diff options
| author | Erin Moon <erin@hecke.rs> | 2021-01-19 17:16:53 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-19 17:16:53 -0600 |
| commit | dcc9b877740eb57eab2fb7ff4db6c0d289bfdeb0 (patch) | |
| tree | 9ed23db094b46e7e66f931b119d54f76f1c029f2 /.github/workflows | |
| parent | f33e47c0319daa9422922f17d63eac84508bc970 (diff) | |
fix branch name in doxygen workflow
i forgot that we use `master` and not the github convention of `main`
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/doxygen.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml index ea4eec6b9b..91b2acdfcb 100644 --- a/.github/workflows/doxygen.yml +++ b/.github/workflows/doxygen.yml @@ -3,7 +3,7 @@ name: run Doxygen to generate docs on: push: branches: - - main + - master jobs: build: |