Skip to content

Actions: agda/agda-stdlib-meta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tactic.Derive.DecEq: faster variant CI #91: Pull request #36 opened by omelkonian
July 31, 2025 11:25 42s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
July 31, 2025 11:25 42s
Bump to agda-2.8.0 CI #90: Pull request #35 opened by omelkonian
July 31, 2025 11:23 37s agda-v2.8.0
agda-v2.8.0
July 31, 2025 11:23 37s
pages build and deployment pages-build-deployment #65: by github-pages bot
July 15, 2025 11:00 59s gh-pages
gh-pages
July 15, 2025 11:00 59s
Add type annotations to the generated case_of_ terms CI #89: Commit 149d25f pushed by omelkonian
July 15, 2025 10:56 4m 12s master
master
July 15, 2025 10:56 4m 12s
Improve performance of DecEq deriving CI #88: Pull request #34 synchronize by WhatisRT
July 14, 2025 12:29 4m 3s andre/derive-deceq-performance
andre/derive-deceq-performance
July 14, 2025 12:29 4m 3s
Improve performance of DecEq deriving CI #87: Pull request #34 synchronize by WhatisRT
July 10, 2025 08:56 3m 53s andre/derive-deceq-performance
andre/derive-deceq-performance
July 10, 2025 08:56 3m 53s
Improve performance of DecEq deriving CI #86: Pull request #34 synchronize by WhatisRT
July 9, 2025 15:33 3m 1s andre/derive-deceq-performance
andre/derive-deceq-performance
July 9, 2025 15:33 3m 1s
Improve performance of DecEq deriving CI #85: Pull request #34 opened by WhatisRT
July 9, 2025 15:25 3m 1s andre/derive-deceq-performance
andre/derive-deceq-performance
July 9, 2025 15:25 3m 1s
Introduce common quoted terms (e.g. refl, yes, no) CI #84: Commit 3f21999 pushed by omelkonian
June 30, 2025 13:30 3m 10s master
master
June 30, 2025 13:30 3m 10s
Move `yes and `no to Reflection.Syntax CI #83: Pull request #33 synchronize by WhatisRT
June 30, 2025 12:02 3m 13s andre/move-quoted-yes-no
andre/move-quoted-yes-no
June 30, 2025 12:02 3m 13s
Move `yes and `no to Reflection.Syntax CI #82: Pull request #33 opened by WhatisRT
June 25, 2025 09:36 4m 13s andre/move-quoted-yes-no
andre/move-quoted-yes-no
June 25, 2025 09:36 4m 13s
pages build and deployment pages-build-deployment #64: by github-pages bot
June 25, 2025 09:28 39s gh-pages
gh-pages
June 25, 2025 09:28 39s
Make auxiliary defns private (#32) CI #81: Commit f1aa13f pushed by WhatisRT
June 25, 2025 09:23 4m 17s master
master
June 25, 2025 09:23 4m 17s
Make some auxiliary definitions private CI #80: Pull request #32 opened by carlostome
June 24, 2025 13:54 4m 17s carlostome:carlos/make-defs-private
carlostome:carlos/make-defs-private
June 24, 2025 13:54 4m 17s
pages build and deployment pages-build-deployment #63: by github-pages bot
May 13, 2025 11:26 39s gh-pages
gh-pages
May 13, 2025 11:26 39s
Import J from Tactic CI #79: Commit 57a5ae8 pushed by omelkonian
May 13, 2025 11:22 3m 56s master
master
May 13, 2025 11:22 3m 56s
Fixes broken imports in Tactic.J CI #78: Pull request #31 opened by carlostome
May 13, 2025 11:14 3m 54s carlostome:carlos/fix-imports
carlostome:carlos/fix-imports
May 13, 2025 11:14 3m 54s
Small changes required by the new monad polymorphsm CI #77: Pull request #30 opened by WhatisRT
April 14, 2025 13:30 2m 56s new-polymorphism
new-polymorphism
April 14, 2025 13:30 2m 56s
pages build and deployment pages-build-deployment #62: by github-pages bot
March 28, 2025 15:22 40s gh-pages
gh-pages
March 28, 2025 15:22 40s
Don't reexport Reflection.Syntax from Tactic.Inline CI #76: Commit 5ff8533 pushed by omelkonian
March 28, 2025 15:18 4m 4s master
master
March 28, 2025 15:18 4m 4s
Don't reexport Reflection.Syntax from Tactic.Inline CI #75: Pull request #28 opened by WhatisRT
March 28, 2025 12:52 4m 26s fix-public-export
fix-public-export
March 28, 2025 12:52 4m 26s
pages build and deployment pages-build-deployment #61: by github-pages bot
March 7, 2025 18:06 42s gh-pages
gh-pages
March 7, 2025 18:06 42s
Fix List.any import CI #74: Commit 8996a64 pushed by omelkonian
March 7, 2025 18:02 4m 7s master
master
March 7, 2025 18:02 4m 7s
Fix List.any import CI #73: Pull request #26 opened by omelkonian
March 7, 2025 17:55 4m 0s fix-v2.2
fix-v2.2
March 7, 2025 17:55 4m 0s
Bump to agda-2.7.0.1/stdlib-2.2 CI #72: Commit e900c5d pushed by omelkonian
March 7, 2025 11:32 3m 45s master
master
March 7, 2025 11:32 3m 45s