Skip to content

chore: typos (#438) #3196

chore: typos (#438)

chore: typos (#438) #3196

Workflow file for this run

on: [push, pull_request]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
name: Build
jobs:
build:
runs-on: ubuntu-latest
env:
mailmap: ${{ secrets.MAILMAP }}
steps:
- name: Checkout ⬇️
uses: actions/checkout@v4
with:
fetch-depth: 0 # we need the commit history for authors
- name: Install Nix ❄️
uses: cachix/install-nix-action@v26
- name: Set up Cachix ♻️
uses: cachix/cachix-action@v14
with:
name: 1lab
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
- name: Check that imports are sorted
if: github.event_name == 'pull_request'
run: |
nix run -f . sort-imports
if ! git diff --quiet; then
echo 'Imports are not sorted. Please run `support/sort-imports.hs`.'
exit 1
fi
- name: Build the Shakefile 🧰
run: |
hash=$(nix-build -A shakefile --no-out-link)
hash=${hash#/nix/store/} hash=${hash%%-*}
echo "shake_version=$hash" >> "$GITHUB_ENV"
- name: Cache _build ♻️
uses: actions/cache@v4
with:
path: _build
key: shake-5-${{ env.shake_version }}-${{ github.run_id }}
restore-keys: shake-5-${{ env.shake_version }}-
- name: Build 🛠️
run: |
echo "$mailmap" > .mailmap
nix-shell --arg interactive false --run "$build_command"
env:
NIX_BUILD_SHELL: bash
build_command: |
set -eu
1lab-shake -j all
eval "$installPhase"
- name: Upload site ⬆️
uses: actions/upload-pages-artifact@v3
with:
path: _build/site
retention-days: 1
deploy:
needs: build
if: ${{ github.ref_name == 'main' }}
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Deploy 🚀
id: deployment
uses: actions/deploy-pages@v4