Skip to content

Actions: agda/agda-stdlib-classes

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: add versions for 2.8.0 CI #99: Pull request #26 opened by omelkonian
August 5, 2025 14:59 20m 17s readme-2.8.0
readme-2.8.0
August 5, 2025 14:59 20m 17s
Bump to agda-2.8.0 CI #98: Commit 454d18c pushed by omelkonian
August 5, 2025 08:28 19m 54s master
master
August 5, 2025 08:28 19m 54s
Bump to agda-2.8.0 CI #97: Pull request #23 synchronize by omelkonian
August 4, 2025 16:54 19m 49s agda-v2.8.0
agda-v2.8.0
August 4, 2025 16:54 19m 49s
Bump to agda-2.8.0 CI #96: Pull request #23 synchronize by omelkonian
August 4, 2025 16:52 37s agda-v2.8.0
agda-v2.8.0
August 4, 2025 16:52 37s
Bump to agda-2.8.0 CI #95: Pull request #23 synchronize by omelkonian
August 4, 2025 16:50 39s agda-v2.8.0
agda-v2.8.0
August 4, 2025 16:50 39s
Bump to agda-2.8.0 CI #94: Pull request #23 synchronize by omelkonian
August 4, 2025 12:50 39s agda-v2.8.0
agda-v2.8.0
August 4, 2025 12:50 39s
ToList: instance for Maybe CI #93: Commit 025b4d7 pushed by omelkonian
July 31, 2025 14:13 3m 7s master
master
July 31, 2025 14:13 3m 7s
ToList: instance for Maybe CI #92: Pull request #24 synchronize by omelkonian
July 31, 2025 11:32 2m 53s orestis/toList-maybe
orestis/toList-maybe
July 31, 2025 11:32 2m 53s
ToList: instance for Maybe CI #91: Pull request #24 opened by omelkonian
July 31, 2025 11:31 39s orestis/toList-maybe
orestis/toList-maybe
July 31, 2025 11:31 39s
Bump to agda-2.8.0 CI #90: Pull request #23 opened by omelkonian
July 31, 2025 11:19 42s agda-v2.8.0
agda-v2.8.0
July 31, 2025 11:19 42s
HasMembership: fix dec instances CI #89: Commit 43abe69 pushed by omelkonian
July 4, 2025 17:01 3m 25s master
master
July 4, 2025 17:01 3m 25s
HasMembership: fix dec instances CI #88: Pull request #22 opened by omelkonian
July 4, 2025 16:57 3m 18s orestis/fix-membership
orestis/fix-membership
July 4, 2025 16:57 3m 18s
Global: porting classes from formal-prelude CI #87: Commit 489aeb8 pushed by omelkonian
July 4, 2025 15:19 3m 26s master
master
July 4, 2025 15:19 3m 26s
Global: porting classes from formal-prelude CI #86: Pull request #21 synchronize by omelkonian
July 4, 2025 15:08 3m 27s prelude-port
prelude-port
July 4, 2025 15:08 3m 27s
Global: porting classes from formal-prelude CI #85: Pull request #21 opened by omelkonian
July 4, 2025 08:38 3m 14s prelude-port
prelude-port
July 4, 2025 08:38 3m 14s
Change Monad polymorphism CI #84: Pull request #20 opened by omelkonian
June 3, 2025 15:44 12m 7s hyper-ultra-monad-polymorphism
hyper-ultra-monad-polymorphism
June 3, 2025 15:44 12m 7s
Change Monad polymorphism CI #83: Pull request #19 synchronize by omelkonian
April 14, 2025 16:31 24s ultra-monad-polymorphism
ultra-monad-polymorphism
April 14, 2025 16:31 24s
Change Monad polymorphism CI #82: Pull request #19 synchronize by omelkonian
April 14, 2025 16:23 28s ultra-monad-polymorphism
ultra-monad-polymorphism
April 14, 2025 16:23 28s
Change Monad polymorphism CI #81: Pull request #19 synchronize by omelkonian
April 14, 2025 16:22 28s ultra-monad-polymorphism
ultra-monad-polymorphism
April 14, 2025 16:22 28s
Change Monad polymorphism CI #80: Pull request #19 opened by omelkonian
April 11, 2025 15:14 2m 59s ultra-monad-polymorphism
ultra-monad-polymorphism
April 11, 2025 15:14 2m 59s
Change Monad polymorphism CI #79: Pull request #11 synchronize by WhatisRT
March 27, 2025 13:20 2m 48s change-monad-polymorphism
change-monad-polymorphism
March 27, 2025 13:20 2m 48s
DecEq: polish Refinement instance CI #78: Commit aa62ce6 pushed by omelkonian
March 27, 2025 13:19 3m 8s master
master
March 27, 2025 13:19 3m 8s
Add DecEq-Refinement CI #77: Pull request #18 synchronize by omelkonian
March 27, 2025 13:17 28s deceq-refinement
deceq-refinement
March 27, 2025 13:17 28s
Add DecEq-Refinement CI #76: Pull request #18 opened by WhatisRT
March 27, 2025 12:54 2m 50s deceq-refinement
deceq-refinement
March 27, 2025 12:54 2m 50s
Bump to agda-2.7.0.1/stdlib-2.2 CI #75: Commit 7915f0f pushed by omelkonian
March 6, 2025 17:04 3m 2s master
master
March 6, 2025 17:04 3m 2s