Skip to content

Processing Cloud and Parallel track results. #104

Processing Cloud and Parallel track results.

Processing Cloud and Parallel track results. #104

name: Deploy Website to Pages
on:
# Runs on pushes targeting the default branch
push:
branches:
- master
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
# Default to bash
defaults:
run:
shell: bash
jobs:
# Build job
build:
runs-on: ubuntu-latest
env:
HUGO_VERSION: 0.122.0
steps:
- name: Install Hugo CLI
run: |
wget -O ${{ runner.temp }}/hugo.deb https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb \
&& sudo dpkg -i ${{ runner.temp }}/hugo.deb
- name: Install Dart Sass
run: sudo snap install dart-sass
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
#For smtcomp script
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
- name: Set up the environment
uses: ./.github/actions/setup-poetry-env
#For smtcomp data cache
- uses: actions/cache@v3
id: data-cache
with:
path: data/*.feather
key: data-cache-${{ hashFiles('data/*.json.gz') }}
- name: Cache generation if needed
if: steps.data-cache.outputs.cache-hit != 'true'
run: |
poetry run make cache
# Generate files using smtcomp tool
- name: Files generation
run: |
pip install json-schema-for-humans
poetry run make submission-doc generation
###
- name: Setup Pages
id: pages
uses: actions/configure-pages@v4
- name: Install Node.js dependencies
run: "[[ -f package-lock.json || -f npm-shrinkwrap.json ]] && npm ci || true"
- name: Build with Hugo
env:
# For maximum backward compatibility with Hugo modules
HUGO_ENVIRONMENT: production
HUGO_ENV: production
run: |
hugo \
--source "web" \
--gc \
--minify \
--baseURL "${{ steps.pages.outputs.base_url }}/2024"
- name: Assemble websites
run: "mkdir upload && cp -r web/public upload/2024 && cp -r archive/* upload && cp -r web/redirects/* upload"
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: ./upload
# Deployment job
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v3