Skip to content

remove pages for archived repos #532

remove pages for archived repos

remove pages for archived repos #532

Workflow file for this run

---
name: Pull Request CI
on:
pull_request:
branches:
- main
# Allows for running this workflow manually from the GitHub Actions UI
workflow_dispatch:
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: actions/setup-python@v3
- uses: pre-commit/action@v3.0.0
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: cachix/install-nix-action@v19
- run: nix fmt