agda-ci

Fix #9: Add CI (#11) #1

Sign in to view logs

Triggered via push January 24, 2024 10:56

andreasabel

master

Status Success

Total duration 6m 23s

Artifacts –

agda-ci.yml

on: push

Matrix: build