Skip to content

agda: Move MSFree rule up #44

agda: Move MSFree rule up

agda: Move MSFree rule up #44

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