fixing workflow... #47
Workflow file for this run
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 Github Pages | |
on: | |
push: | |
tags: | |
- '*' | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
# Needed by release action | |
permissions: | |
contents: write | |
steps: | |
- name: checkout repo | |
uses: actions/checkout@v2 | |
- name: Set up Python | |
uses: actions/setup-python@v4 | |
with: | |
python-version: '3.12' | |
- name: Set up everything else | |
# do NOT run apt update && apt upgrade here! | |
# Micros*ft, in their infinite wisdom, decided | |
# to include "other tools" in the virtual machine, | |
# so unless you want to wait for the crappy azure VM | |
# to update vim, dotnet, aspnet, the kernel, snap, | |
# firefox, and half the X11 stack | |
# every time you push to main, | |
# do NOT do apt update && apt update | |
# | |
# And y'all thought docker was bloat lol | |
run: | | |
set -e | |
sudo apt install graphviz zstd | |
python -m venv venv | |
source venv/bin/activate | |
python -m pip install -e . | |
python -m pip install raimad | |
python -m raidoc build | |
set +e | |
- name: Upload artifact | |
uses: actions/upload-pages-artifact@v3 | |
with: | |
path: ./build | |
- name: Make release | |
run: | | |
set -e | |
tagname=$(git describe --tags --abbrev=0) | |
mv "build" "raidoc-${tagname}-web" | |
tar cf - "raidoc-${tagname}-web" | zstd --compress --ultra -20 --threads=0 - -o "raidoc-${tagname}-web.tar.zst" | |
mv "raidoc-${tagname}-web" "build" | |
ls -lah | |
set +e | |
# FIXME there's probably a code injection | |
# vuln somewhere in these horrible shards of shell code, | |
# but oh well, let's just say we trust | |
# whoever has push access to this repo | |
- name: Upload release artifact | |
uses: ncipollo/release-action@v1 | |
with: | |
artifacts: "*.tar.zst" | |
deploy: | |
runs-on: ubuntu-latest | |
permissions: | |
pages: write | |
id-token: write | |
needs: build | |
steps: | |
- name: Deploy to GitHub Pages | |
id: deployment | |
uses: actions/deploy-pages@v4 | |