From 2a03546a36ec183bf8f0aeb92139334981afe617 Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 10:55:56 +0100 Subject: [PATCH 1/6] do you delete benchmark? --- .github/workflows/doxygen2.yml | 45 ++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 .github/workflows/doxygen2.yml diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml new file mode 100644 index 0000000000..881aec7a3a --- /dev/null +++ b/.github/workflows/doxygen2.yml @@ -0,0 +1,45 @@ +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: + - 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/doxygen-action@1.9.5 + 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. + # /!\ tmp + if: github.ref == 'refs/heads/test/is_benchark_erased' + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./html + + + From 2340bb18469c570f15781abdc016b97797e7810c Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 11:07:03 +0100 Subject: [PATCH 2/6] test deployment --- .github/workflows/doxygen2.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index 881aec7a3a..6c9edfd480 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -35,7 +35,6 @@ jobs: # If you're changing the branch from main, # also change the `main` in `refs/heads/main` # below accordingly. - # /!\ tmp if: github.ref == 'refs/heads/test/is_benchark_erased' with: github_token: ${{ secrets.GITHUB_TOKEN }} From 25600315625d0a2339415ea6482bd31e0afd9ccc Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 11:16:52 +0100 Subject: [PATCH 3/6] change doxygen root dir --- .github/workflows/doxygen2.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index 6c9edfd480..f519553594 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -39,6 +39,6 @@ jobs: with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./html - + destination_dir: ./doxygen From 9f276b45234c351c59bce46de54045b48a0852a0 Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 11:25:15 +0100 Subject: [PATCH 4/6] clean --- .github/workflows/doxygen2.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index f519553594..b2f5c1c7dc 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -13,6 +13,10 @@ jobs: concurrency: group: ${{ github.workflow }}-${{ github.ref }} steps: + - name: clean first + run: rm -rf * + shell: bash + - uses: actions/checkout@v3 with: submodules: true # Fetch Hugo themes (true OR recursive) From b977336c1d338cb820e011d794dac38814528e7b Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 11:28:49 +0100 Subject: [PATCH 5/6] reset gh-pages --- .github/workflows/doxygen2.yml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index b2f5c1c7dc..a49a993dff 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -34,6 +34,16 @@ jobs: 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: . + - name: Deploy uses: peaceiris/actions-gh-pages@v3 # If you're changing the branch from main, From 9af260a90cb175a7314fc4582b3c683af9385132 Mon Sep 17 00:00:00 2001 From: Abdoulbari ZAKIR Date: Mon, 8 Jan 2024 11:31:59 +0100 Subject: [PATCH 6/6] delete all & deploy --- .github/workflows/doxygen2.yml | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/.github/workflows/doxygen2.yml b/.github/workflows/doxygen2.yml index a49a993dff..0362ae4bd7 100644 --- a/.github/workflows/doxygen2.yml +++ b/.github/workflows/doxygen2.yml @@ -16,6 +16,17 @@ jobs: - 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: @@ -34,15 +45,6 @@ jobs: 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: . - name: Deploy uses: peaceiris/actions-gh-pages@v3