Skip to content

Actions: agda/agda-stdlib-classes

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
19 workflow runs
19 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
CI: bump setup-agda CI #103: Commit b0f156c pushed by omelkonian
3m 10s master
master
3m 10s
Change Monad polymorphism CI #102: Pull request #19 synchronize by omelkonian
3m 26s ultra-monad-polymorphism
ultra-monad-polymorphism
3m 26s
Change Monad polymorphism CI #101: Pull request #19 synchronize by omelkonian
5s ultra-monad-polymorphism
ultra-monad-polymorphism
5s
Change Monad polymorphism CI #100: Pull request #19 synchronize by omelkonian
58s ultra-monad-polymorphism
ultra-monad-polymorphism
58s
README: add versions for 2.8.0 CI #99: Pull request #26 opened by omelkonian
20m 17s readme-2.8.0
readme-2.8.0
20m 17s
Bump to agda-2.8.0 CI #98: Commit 454d18c pushed by omelkonian
19m 54s master
master
19m 54s
Bump to agda-2.8.0 CI #97: Pull request #23 synchronize by omelkonian
19m 49s agda-v2.8.0
agda-v2.8.0
19m 49s
Bump to agda-2.8.0 CI #96: Pull request #23 synchronize by omelkonian
37s agda-v2.8.0
agda-v2.8.0
37s
Bump to agda-2.8.0 CI #95: Pull request #23 synchronize by omelkonian
39s agda-v2.8.0
agda-v2.8.0
39s
Bump to agda-2.8.0 CI #94: Pull request #23 synchronize by omelkonian
39s agda-v2.8.0
agda-v2.8.0
39s
ToList: instance for Maybe CI #93: Commit 025b4d7 pushed by omelkonian
3m 7s master
master
3m 7s
ToList: instance for Maybe CI #92: Pull request #24 synchronize by omelkonian
2m 53s orestis/toList-maybe
orestis/toList-maybe
2m 53s
ToList: instance for Maybe CI #91: Pull request #24 opened by omelkonian
39s orestis/toList-maybe
orestis/toList-maybe
39s
Bump to agda-2.8.0 CI #90: Pull request #23 opened by omelkonian
42s agda-v2.8.0
agda-v2.8.0
42s
HasMembership: fix dec instances CI #89: Commit 43abe69 pushed by omelkonian
3m 25s master
master
3m 25s
HasMembership: fix dec instances CI #88: Pull request #22 opened by omelkonian
3m 18s orestis/fix-membership
orestis/fix-membership
3m 18s
Global: porting classes from formal-prelude CI #87: Commit 489aeb8 pushed by omelkonian
3m 26s master
master
3m 26s
Global: porting classes from formal-prelude CI #86: Pull request #21 synchronize by omelkonian
3m 27s prelude-port
prelude-port
3m 27s
Global: porting classes from formal-prelude CI #85: Pull request #21 opened by omelkonian
3m 14s prelude-port
prelude-port
3m 14s