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

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

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 #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check / check (8.8.1, true)
9m 34s
format / format
25s
check / check (latest)
9m 0s
18m 59s