website: update proceedings citation #10
This file contains hidden or 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: PathoSynVLM website | |
| on: | |
| push: | |
| branches: | |
| - gh-pages | |
| pull_request: | |
| branches: | |
| - gh-pages | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: pathosynvlm-website-${{ github.ref }} | |
| cancel-in-progress: ${{ github.event_name == 'pull_request' }} | |
| jobs: | |
| validate: | |
| name: Check PathoSynVLM static site | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 5 | |
| steps: | |
| - name: Check out PathoSynVLM website branch | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| - name: Check HTML, links, metadata, and assets | |
| run: python3 scripts/validate_site.py . | |
| deploy: | |
| name: Deploy PathoSynVLM website | |
| if: github.event_name == 'push' | |
| needs: validate | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| steps: | |
| - name: Check out PathoSynVLM website branch | |
| uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0 | |
| - name: Configure GitHub Pages | |
| uses: actions/configure-pages@45bfe0192ca1faeb007ade9deae92b16b8254a0d # v6.0.0 | |
| - name: Stage public website files | |
| run: | | |
| mkdir _site | |
| cp index.html 404.html robots.txt sitemap.xml .nojekyll _site/ | |
| cp -R static _site/static | |
| - name: Upload PathoSynVLM website | |
| uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 | |
| with: | |
| path: _site | |
| include-hidden-files: true | |
| - name: Deploy PathoSynVLM website | |
| id: deployment | |
| uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0 | |
| cleanup: | |
| name: Remove superseded website runs | |
| if: ${{ github.event_name == 'push' && needs.deploy.result == 'success' }} | |
| needs: deploy | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 2 | |
| permissions: | |
| actions: write | |
| steps: | |
| - name: Keep only the latest website run | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| WORKFLOW_FILE: validate-site.yml | |
| run: | | |
| set -euo pipefail | |
| gh api --paginate \ | |
| -H "Accept: application/vnd.github+json" \ | |
| -H "X-GitHub-Api-Version: 2022-11-28" \ | |
| "/repos/${GITHUB_REPOSITORY}/actions/workflows/${WORKFLOW_FILE}/runs?status=completed&per_page=100" \ | |
| --jq '.workflow_runs[].id' | | |
| while IFS= read -r run_id; do | |
| if [[ -n "$run_id" && "$run_id" != "$GITHUB_RUN_ID" ]]; then | |
| gh api \ | |
| --method DELETE \ | |
| -H "Accept: application/vnd.github+json" \ | |
| -H "X-GitHub-Api-Version: 2022-11-28" \ | |
| "/repos/${GITHUB_REPOSITORY}/actions/runs/${run_id}" | |
| fi | |
| done |