Skip to content

Commit

Permalink
Merge pull request #12 from AntaresSimulatorTeam/test/is_benchark_erased
Browse files Browse the repository at this point in the history
Test/is benchark erased
  • Loading branch information
meslubi2021 authored Dec 22, 2024
2 parents d9b172d + 9af260a commit 8ee7317
Showing 1 changed file with 60 additions and 0 deletions.
60 changes: 60 additions & 0 deletions .github/workflows/doxygen2.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,60 @@
name: GitHub Pages

on:
push:
branches:
- test/is_benchark_erased # Set a branch name to trigger deployment

jobs:
deploy:
runs-on: ubuntu-22.04
permissions:
contents: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- name: clean first
run: rm -rf *
shell: bash

- name: Deploy
uses: peaceiris/actions-gh-pages@v3
# If you're changing the branch from main,
# also change the `main` in `refs/heads/main`
# below accordingly.
if: github.ref == 'refs/heads/test/is_benchark_erased'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: .


- uses: actions/checkout@v3
with:
submodules: true # Fetch Hugo themes (true OR recursive)
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod

- name: theme
run: |
git clone https://github.com/jothepro/doxygen-awesome-css.git
cd doxygen-awesome-css
git checkout v2.2.1
git apply ../docs/antares-simulator-doxygen.patch
- name: Doxygen
uses: mattnotmitt/[email protected]
with:
doxyfile-path: docs/Doxyfile


- name: Deploy
uses: peaceiris/actions-gh-pages@v3
# If you're changing the branch from main,
# also change the `main` in `refs/heads/main`
# below accordingly.
if: github.ref == 'refs/heads/test/is_benchark_erased'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./html
destination_dir: ./doxygen


0 comments on commit 8ee7317

Please sign in to comment.