Skip to content

agda: Clean up formatting #38

agda: Clean up formatting

agda: Clean up formatting #38

Workflow file for this run

---
name: agda
on:
push:
paths: ['**.agda']
jobs:
check:
name: Check all.agda
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: wenkokke/setup-agda@latest
with:
agda-version: '2.6.2.2'
- run: agda all.agda