presentation pptx #279
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Deploy to GitHub Pages | |
on: | |
push: | |
branches: | |
- master | |
- presentations | |
workflow_dispatch: | |
jobs: | |
build-docs: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
ref: master | |
- name: Install dependencies | |
run: | | |
sudo apt-get update | |
sudo apt-get install -y doxygen | |
sudo apt-get install -y graphviz | |
sudo apt-get install -y cmake | |
sudo apt install libxerces-c-dev -y | |
sudo apt install build-essential libboost-system-dev libboost-thread-dev libboost-program-options-dev libboost-test-dev -y | |
- name: Build docs | |
run: | | |
rm -rf build | |
mkdir build | |
cd build | |
cmake .. -D BUILD_DOC_DOXYGEN=ON | |
- name: Generate docs | |
run: | | |
cd build | |
make doc_doxygen | |
- name: Upload artifact | |
uses: actions/upload-artifact@v2 | |
with: | |
name: docs | |
path: build/docs/html | |
retention-days: 1 | |
upload-index-html: | |
if: (github.ref == 'refs/heads/master' || github.ref == 'refs/heads/presentations') && github.event_name == 'push' | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
ref: master | |
- name: Upload index.html | |
uses: actions/upload-artifact@v2 | |
with: | |
name: index.html | |
path: docs/index.html | |
retention-days: 1 | |
build-submission-page: | |
if: (github.ref == 'refs/heads/master' || github.ref == 'refs/heads/presentations') && github.event_name == 'push' | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: move everything important into submissions folder | |
run: | | |
mkdir submissions | |
cp -r sheet* html-renderer submissions | |
rm -rf submissions/*/data | |
- name: Build index.html | |
run: | | |
cd submissions | |
python3 html-renderer/render_to_html.py | |
- name: Upload artifact | |
uses: actions/upload-artifact@v2 | |
with: | |
name: submission-page | |
path: submissions | |
retention-days: 1 | |
deploy: | |
if: (github.ref == 'refs/heads/master' || github.ref == 'refs/heads/presentations') && github.event_name == 'push' | |
needs: [build-docs, build-submission-page, upload-index-html] | |
permissions: | |
pages: write | |
id-token: write | |
concurrency: | |
group: "pages" | |
cancel-in-progress: true | |
environment: | |
name: github-pages | |
url: ${{ steps.deployment.outputs.page_url }} | |
runs-on: ubuntu-latest | |
steps: | |
- name: download docs | |
uses: actions/download-artifact@v2 | |
with: | |
name: docs | |
path: pages/docs | |
- name: download submission page | |
uses: actions/download-artifact@v2 | |
with: | |
name: submission-page | |
path: pages/submissions | |
- name: download index.html | |
uses: actions/download-artifact@v2 | |
with: | |
name: index.html | |
path: pages/index.html | |
- name: upload index.html | |
uses: actions/upload-pages-artifact@v2 | |
with: | |
path: pages | |
retention-days: 1 | |
- name: Deploy to GitHub Pages | |
id: deployment | |
uses: actions/deploy-pages@v2 |