Add a GEOPM_VERBOSITY environment variable #33
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
| # | |
| # Copyright (c) 2015 - 2024 Intel Corporation | |
| # SPDX-License-Identifier: BSD-3-Clause | |
| # | |
| name: Publish website | |
| on: | |
| push: | |
| branches: | |
| - dev | |
| tags: | |
| - v* | |
| permissions: read-all | |
| concurrency: | |
| group: website-${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| publish_html: | |
| name: "publish_html" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout base repo | |
| uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 | |
| with: | |
| fetch-depth: 0 | |
| - name: Checkout website repo | |
| uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 | |
| with: | |
| token: ${{ secrets.WEBSITE_TOKEN }} | |
| repository: ${{ github.repository_owner }}/geopm.github.io | |
| path: docs/geopm.github.io | |
| - name: Install system dependencies | |
| run: sudo apt-get update && sudo apt-get install python3-gi python3-yaml python3-m2crypto python3-build python3-setuptools-scm doxygen graphviz | |
| - name: Install python dependencies | |
| run: | | |
| python3 -m pip install --upgrade pip setuptools wheel pep517 | |
| python3 -m pip install -r requirements.txt | |
| python3 -m pip install -r docs/requirements.txt | |
| python3 -m pip install -r geopmdpy/requirements.txt | |
| python3 -m pip install -r geopmpy/requirements.txt | |
| - name: make geopmdpy dist | |
| working-directory: geopmdpy | |
| run: ./make_sdist.sh | |
| - name: make geopmpy dist | |
| working-directory: geopmpy | |
| run: ./make_sdist.sh | |
| - name: make docs | |
| working-directory: docs | |
| run: make html | |
| - name: Set environment | |
| run: | | |
| if [[ "${{ github.ref_name }}" == "dev" ]]; then | |
| echo "GEOPM_GITHUB_IO=geopm.github.io" >> ${GITHUB_ENV} | |
| else | |
| echo "GEOPM_GITHUB_IO=geopm.github.io/${{ github.ref_name }}" >> ${GITHUB_ENV} | |
| fi | |
| - name: Install docs and push | |
| working-directory: docs | |
| run: | | |
| git config --global user.name "github-actions[bot]" | |
| git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| mkdir -p ${GEOPM_GITHUB_IO} | |
| make install_html >& /tmp/build.tmp || grep "nothing to commit" /tmp/build.tmp | |
| cd geopm.github.io | |
| git push origin | |