Skip to content

Update src/simplicial-hott/04-extension-types.rzk.md #18

Update src/simplicial-hott/04-extension-types.rzk.md

Update src/simplicial-hott/04-extension-types.rzk.md #18

Workflow file for this run

name: Check with latest Rzk
# Controls when the workflow will run
on:
# Triggers the workflow on push events
push:
# and pull request events
pull_request:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
check:
runs-on: ubuntu-latest
name: Check formalisations
steps:
- uses: actions/checkout@v3
- name: Check all files
uses: rzk-lang/rzk-action@v1
with:
rzk-version: latest
# rzk-version: v0.4.1.1 # example of a specific version
files: src/hott/* src/simplicial-hott/*