Skip to content

Actions: agda/agda-stdlib-meta

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

HsType additions CI #61: Pull request #21 opened by zahnsimo
January 23, 2025 13:33 1m 12s zahnsimo:hstype-additions
zahnsimo:hstype-additions
January 23, 2025 13:33 1m 12s
CI: bump setup-agda CI #60: Commit f4492c5 pushed by omelkonian
January 17, 2025 16:04 3m 46s master
master
January 17, 2025 16:04 3m 46s
CI: bump setup-agda CI #59: Pull request #20 opened by omelkonian
January 17, 2025 15:57 4m 6s orestis/bump-setup-agda
orestis/bump-setup-agda
January 17, 2025 15:57 4m 6s
simp tactic CI #58: Pull request #17 opened by WhatisRT
December 6, 2024 11:43 3m 46s simp
simp
December 6, 2024 11:43 3m 46s
Fix various bugs with the type generation of the deriving mechanism CI #57: Pull request #14 synchronize by WhatisRT
November 28, 2024 11:40 58s fix-deriving-type-generation
fix-deriving-type-generation
November 28, 2024 11:40 58s
Upstream Convertible, HasHsType and their Deriving strategies CI #56: Pull request #15 synchronize by WhatisRT
November 28, 2024 11:39 3m 53s upstream-convertible-hstype
upstream-convertible-hstype
November 28, 2024 11:39 3m 53s
Upstream Convertible, HasHsType and their Deriving strategies CI #55: Pull request #15 synchronize by WhatisRT
November 28, 2024 11:36 3m 29s upstream-convertible-hstype
upstream-convertible-hstype
November 28, 2024 11:36 3m 29s
Upstream Convertible, HasHsType and their Deriving strategies CI #54: Pull request #15 opened by WhatisRT
November 28, 2024 10:13 3m 27s upstream-convertible-hstype
upstream-convertible-hstype
November 28, 2024 10:13 3m 27s
Fix various bugs with the type generation of the deriving mechanism CI #53: Pull request #14 synchronize by WhatisRT
November 28, 2024 09:43 1m 4s fix-deriving-type-generation
fix-deriving-type-generation
November 28, 2024 09:43 1m 4s
Fix various bugs with the type generation of the deriving mechanism CI #52: Pull request #14 synchronize by WhatisRT
November 27, 2024 14:21 39s fix-deriving-type-generation
fix-deriving-type-generation
November 27, 2024 14:21 39s
Fix various bugs with the type generation of the deriving mechanism CI #51: Pull request #14 synchronize by WhatisRT
November 27, 2024 14:19 3m 44s fix-deriving-type-generation
fix-deriving-type-generation
November 27, 2024 14:19 3m 44s
Fix various bugs with the type generation of the deriving mechanism CI #50: Pull request #14 opened by WhatisRT
November 27, 2024 14:17 3m 47s fix-deriving-type-generation
fix-deriving-type-generation
November 27, 2024 14:17 3m 47s
README: update repo links CI #49: Pull request #12 opened by omelkonian
November 26, 2024 10:44 3m 44s orestis/fix-readme
orestis/fix-readme
November 26, 2024 10:44 3m 44s
Proper interfaces / prelude CI #48: Commit d55da1f pushed by omelkonian
September 13, 2024 15:55 3m 59s master
master
September 13, 2024 15:55 3m 59s
Compatibility with Agda 2.7/Stdlib 2.1.1 CI #47: Commit a4a279e pushed by WhatisRT
September 10, 2024 11:55 2m 40s master
master
September 10, 2024 11:55 2m 40s
Upstream ByEq tactic CI #46: Commit e834cf7 pushed by WhatisRT
May 31, 2024 13:30 3m 48s master
master
May 31, 2024 13:30 3m 48s
CI: only run on meaningful changes CI #45: Commit 9681329 pushed by omelkonian
March 26, 2024 19:21 1m 6s master
master
March 26, 2024 19:21 1m 6s
Add MIT licence CI #44: Commit 3c8850d pushed by omelkonian
March 26, 2024 19:15 1m 3s master
master
March 26, 2024 19:15 1m 3s
Version bump from 2.0-rc1 to 2.0 CI #43: Commit 4eaf23d pushed by omelkonian
March 26, 2024 15:00 3m 59s master
master
March 26, 2024 15:00 3m 59s