Skip to content

refactor: introduce 'strict-or' and upgrade 1lab #131

refactor: introduce 'strict-or' and upgrade 1lab

refactor: introduce 'strict-or' and upgrade 1lab #131

name: Make
on:
push:
branches: ["main"]
pull_request:
permissions:
contents: read
jobs:
everything:
name: Everything.agda
runs-on: ubuntu-latest
steps:
- name: Check out the repository ⬇️
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Run `make Everything.agda` 🏃
run: make Everything.agda
- name: Check if any files are changed 🔍
run: |
if ! git diff --quiet; then
echo "Please run 'make Everything.agda' to regenerate files"
exit 1
fi