Skip to content

Actions: agda/agda-stdlib-meta

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
51 workflow runs
51 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 #37 opened by omelkonian
21m 24s readme-2.8.0
readme-2.8.0
21m 24s
Tactic.Derive.DecEq: faster variant CI #98: Commit d80dc70 pushed by omelkonian
21m 50s master
master
21m 50s
Tactic.Derive.DecEq: faster variant CI #97: Pull request #36 synchronize by omelkonian
21m 55s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
21m 55s
Tactic.Derive.DecEq: faster variant CI #96: Pull request #36 synchronize by omelkonian
17m 49s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
17m 49s
Tactic.Derive.DecEq: faster variant CI #95: Pull request #36 synchronize by omelkonian
17m 13s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
17m 13s
Bump to agda-2.8.0 CI #94: Commit cfac11f pushed by omelkonian
17m 13s master
master
17m 13s
Bump to agda-2.8.0 CI #93: Pull request #35 synchronize by omelkonian
17m 13s agda-v2.8.0
agda-v2.8.0
17m 13s
Bump to agda-2.8.0 CI #92: Pull request #35 synchronize by omelkonian
50s agda-v2.8.0
agda-v2.8.0
50s
Tactic.Derive.DecEq: faster variant CI #91: Pull request #36 opened by omelkonian
42s orestis/fastDeriveDecEq
orestis/fastDeriveDecEq
42s
Bump to agda-2.8.0 CI #90: Pull request #35 opened by omelkonian
37s agda-v2.8.0
agda-v2.8.0
37s
Add type annotations to the generated case_of_ terms CI #89: Commit 149d25f pushed by omelkonian
4m 12s master
master
4m 12s
Improve performance of DecEq deriving CI #88: Pull request #34 synchronize by WhatisRT
4m 3s andre/derive-deceq-performance
andre/derive-deceq-performance
4m 3s
Improve performance of DecEq deriving CI #87: Pull request #34 synchronize by WhatisRT
3m 53s andre/derive-deceq-performance
andre/derive-deceq-performance
3m 53s
Improve performance of DecEq deriving CI #86: Pull request #34 synchronize by WhatisRT
3m 1s andre/derive-deceq-performance
andre/derive-deceq-performance
3m 1s
Improve performance of DecEq deriving CI #85: Pull request #34 opened by WhatisRT
3m 1s andre/derive-deceq-performance
andre/derive-deceq-performance
3m 1s
Introduce common quoted terms (e.g. refl, yes, no) CI #84: Commit 3f21999 pushed by omelkonian
3m 10s master
master
3m 10s
Move `yes and `no to Reflection.Syntax CI #83: Pull request #33 synchronize by WhatisRT
3m 13s andre/move-quoted-yes-no
andre/move-quoted-yes-no
3m 13s
Move `yes and `no to Reflection.Syntax CI #82: Pull request #33 opened by WhatisRT
4m 13s andre/move-quoted-yes-no
andre/move-quoted-yes-no
4m 13s
Make auxiliary defns private (#32) CI #81: Commit f1aa13f pushed by WhatisRT
4m 17s master
master
4m 17s
Make some auxiliary definitions private CI #80: Pull request #32 opened by carlostome
4m 17s carlostome:carlos/make-defs-private
carlostome:carlos/make-defs-private
4m 17s
Import J from Tactic CI #79: Commit 57a5ae8 pushed by omelkonian
3m 56s master
master
3m 56s
Fixes broken imports in Tactic.J CI #78: Pull request #31 opened by carlostome
3m 54s carlostome:carlos/fix-imports
carlostome:carlos/fix-imports
3m 54s
Small changes required by the new monad polymorphsm CI #77: Pull request #30 opened by WhatisRT
2m 56s new-polymorphism
new-polymorphism
2m 56s
Don't reexport Reflection.Syntax from Tactic.Inline CI #76: Commit 5ff8533 pushed by omelkonian
4m 4s master
master
4m 4s
Don't reexport Reflection.Syntax from Tactic.Inline CI #75: Pull request #28 opened by WhatisRT
4m 26s fix-public-export
fix-public-export
4m 26s