Fixed missing semicolon. 🤦 #55

Sign in to view logs

Triggered via push February 8, 2024 21:24

bwbush

main

Status Success

Total duration 22m 52s

Billable time 23m

Artifacts –

ci.yaml

on: push

Typecheck Agda and generate Haskell