Skip to content

Actions: uncle-betty/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[ add ] Relation.Binary.Properties.PartialSetoid (#2678) Haskell-CI #9: Commit 4b3bb54 pushed by uncle-betty
2m 57s master
master
2m 57s
[ add ] Relation.Binary.Properties.PartialSetoid (#2678) Ubuntu build #20: Commit 4b3bb54 pushed by uncle-betty
52m 25s master
master
52m 25s
[ add ] Relation.Binary.Properties.PartialSetoid (#2678) Check whitespace #20: Commit 4b3bb54 pushed by uncle-betty
11s master
master
11s
Bump Haskell CI to GHCs 9.12.2 9.10.2 9.6.7 (#2714) Ubuntu build #19: Commit 9bf80c4 pushed by uncle-betty
55m 39s master
master
55m 39s
Bump Haskell CI to GHCs 9.12.2 9.10.2 9.6.7 (#2714) Check whitespace #19: Commit 9bf80c4 pushed by uncle-betty
14s master
master
14s
Bump Haskell CI to GHCs 9.12.2 9.10.2 9.6.7 (#2714) Haskell-CI #8: Commit 9bf80c4 pushed by uncle-betty
4m 40s master
master
4m 40s