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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 8s
cold-check
12m 8s
14m 16s