Skip to content
Agda

Change greeting from 'Hello' to 'Goodbye' #907

Sign in to view logs

Change greeting from 'Hello' to 'Goodbye'

Change greeting from 'Hello' to 'Goodbye' #907

Triggered via push August 17, 2026 13:38
@hyperpolymathhyperpolymath
pushed f26235f
main
Status Success
Total duration 12m 28s
Artifacts –

agda.yml

on: push
check
2m 8s
check
cold-check
12m 8s
cold-check
Fit to window
Zoom out
Zoom in