Skip to content

Actions: agda/agda-stdlib-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #52: by github-pages bot
July 31, 2025 14:16 2m 32s gh-pages
gh-pages
July 31, 2025 14:16 2m 32s
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
pages build and deployment pages-build-deployment #51: by github-pages bot
July 4, 2025 17:05 39s gh-pages
gh-pages
July 4, 2025 17:05 39s
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
pages build and deployment pages-build-deployment #50: by github-pages bot
July 4, 2025 15:23 45s gh-pages
gh-pages
July 4, 2025 15:23 45s
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
pages build and deployment pages-build-deployment #49: by github-pages bot
March 27, 2025 13:22 1m 8s gh-pages
gh-pages
March 27, 2025 13:22 1m 8s
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
pages build and deployment pages-build-deployment #48: by github-pages bot
March 6, 2025 17:07 50s gh-pages
gh-pages
March 6, 2025 17:07 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
Bump to agda-2.7.0.1/stdlib-2.2 CI #74: Pull request #16 synchronize by omelkonian
March 6, 2025 16:52 3m 6s bump-agda
bump-agda
March 6, 2025 16:52 3m 6s