Skip to content

Actions: uncle-betty/agda-stdlib

Actions

Ubuntu build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-ubuntu.yml
6 workflow runs
6 workflow runs

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) Ubuntu build #24: Commit 38f22ec pushed by uncle-betty
44m 41s master
master
44m 41s
[ add ] style-guide recommendation preferring contradiction over … Ubuntu build #23: Commit 54f5c38 pushed by uncle-betty
46m 59s master
master
46m 59s
[ 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) Ubuntu build #21: Commit 6f8af94 pushed by uncle-betty
50m 5s master
master
50m 5s
[ add ] Relation.Binary.Properties.PartialSetoid (#2678) Ubuntu build #20: Commit 4b3bb54 pushed by uncle-betty
52m 25s master
master
52m 25s
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