Skip to content

remove incorrect adjustment when loading Mirage presets #123

remove incorrect adjustment when loading Mirage presets

remove incorrect adjustment when loading Mirage presets #123

# Copyright 2025 Sam Windell
# SPDX-License-Identifier: GPL-3.0-or-later
name: Deploy Website
on:
workflow_dispatch:
push:
branches:
- main
jobs:
generate-docs:
runs-on: ubuntu-latest
if: ${{ github.event_name != 'workflow_run' || github.event.workflow_run.conclusion == 'success' }}
permissions:
id-token: write
contents: write
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
- uses: DeterminateSystems/nix-installer-action@main
- uses: DeterminateSystems/flakehub-cache-action@main
- uses: nicknovitski/[email protected]
- run: zig build script:website-build
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Deploy GitHub Pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
git worktree add gh-pages
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
cd gh-pages
# Delete the ref to avoid keeping history.
git update-ref -d refs/heads/gh-pages
rm -rf *
mv ../website/build/* .
git add .
git commit -m "Deploy $GITHUB_SHA to gh-pages"
git push --force --set-upstream origin gh-pages