Skip to content

get rid of all holes #1549

get rid of all holes

get rid of all holes #1549

Workflow file for this run

on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
typecheck:
runs-on: ubuntu-latest
name: Typechecking
steps:
- name: "Clone repository"
uses: actions/checkout@v2
- name: Run Agda
id: typecheck
uses: ayberkt/[email protected]
with:
main-file: AllModulesIndex.lagda
source-dir: source
unsafe: true
- name: Upload HTML
id: html-upload
if: github.ref == 'refs/heads/master'
uses: actions/upload-artifact@v3
with:
name: html
path: source/html