Skip to content
.github/workflows/on-push-to-master-or-pr.yaml

Add function statement and remove the decidable instance on Params #13

Sign in to view logs

Add function statement and remove the decidable instance on Params

Add function statement and remove the decidable instance on Params #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format / format
28s
check / check (8.8.1, true)
10m 17s
check / check (latest)
8m 48s
19m 33s