Skip to content
Check the Agda files

adding mention of testing with docker on macOS #238

Sign in to view logs

adding mention of testing with docker on macOS

adding mention of testing with docker on macOS #238

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 11s
2m 11s