Skip to content

Actions: uncle-betty/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adds "pushforward" to Relation.Unary (#2840) Haskell-CI #13: Commit 38f22ec pushed by uncle-betty
2m 59s master
master
2m 59s
Adds "pushforward" to Relation.Unary (#2840) Ubuntu build #24: Commit 38f22ec pushed by uncle-betty
44m 41s master
master
44m 41s
Adds "pushforward" to Relation.Unary (#2840) Check whitespace #24: Commit 38f22ec pushed by uncle-betty
13s master
master
13s
[ add ] style-guide recommendation preferring contradiction over … Haskell-CI #12: Commit 54f5c38 pushed by uncle-betty
2m 57s master
master
2m 57s
[ add ] style-guide recommendation preferring contradiction over … Ubuntu build #23: Commit 54f5c38 pushed by uncle-betty
46m 59s master
master
46m 59s
[ add ] style-guide recommendation preferring contradiction over … Check whitespace #23: Commit 54f5c38 pushed by uncle-betty
11s master
master
11s
[ refactor ] Data.Fin.Properties of decidable equality, plus knock-… Haskell-CI #11: Commit d4c0a97 pushed by uncle-betty
12m 17s master
master
12m 17s
[ refactor ] Data.Fin.Properties of decidable equality, plus knock-… Check whitespace #22: Commit d4c0a97 pushed by uncle-betty
6m 29s master
master
6m 29s
[ refactor ] Data.Fin.Properties of decidable equality, plus knock-… Ubuntu build #22: Commit d4c0a97 pushed by uncle-betty
50m 58s master
master
50m 58s
Delete rewrite steps that do not fire (#2758) Haskell-CI #10: Commit 6f8af94 pushed by uncle-betty
10m 13s master
master
10m 13s
Delete rewrite steps that do not fire (#2758) Check whitespace #21: Commit 6f8af94 pushed by uncle-betty
4m 28s master
master
4m 28s
Delete rewrite steps that do not fire (#2758) Ubuntu build #21: Commit 6f8af94 pushed by uncle-betty
50m 5s master
master
50m 5s