Skip to content

Actions: agda/agda-stdlib-classes

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change Monad polymorphism CI #60: Pull request #11 opened by WhatisRT
November 28, 2024 14:34 39s change-monad-polymorphism
change-monad-polymorphism
November 28, 2024 14:34 39s
Monotonicity and modalities for predicates over types with orders CI #59: Pull request #10 opened by casvdrest
November 26, 2024 17:29 2m 52s casvdrest:master
casvdrest:master
November 26, 2024 17:29 2m 52s
README: update repo links CI #58: Pull request #9 opened by omelkonian
November 26, 2024 10:23 43s orestis/fix-readme
orestis/fix-readme
November 26, 2024 10:23 43s
Tidy up: s/Set/Type + flags + levels CI #57: Commit 4c5e885 pushed by omelkonian
November 26, 2024 10:15 31s master
master
November 26, 2024 10:15 31s
Tidy up: s/Set/Type + flags + levels CI #56: Pull request #8 opened by omelkonian
November 26, 2024 09:50 49s orestis/cleanup
orestis/cleanup
November 26, 2024 09:50 49s
Fix Allable/Anyable + instances for List⁺ CI #55: Commit 2d7cb5c pushed by omelkonian
November 26, 2024 09:17 2m 56s master
master
November 26, 2024 09:17 2m 56s
Fix Allable/Anyable + instances for List⁺ CI #54: Pull request #7 opened by omelkonian
November 26, 2024 08:47 3m 6s fix-allable-anyable
fix-allable-anyable
November 26, 2024 08:47 3m 6s
Add instances of total orders CI #53: Commit 70a6c7a pushed by omelkonian
November 15, 2024 15:48 3m 6s master
master
November 15, 2024 15:48 3m 6s
Add support for total orders to HasOrder CI #52: Pull request #6 opened by javierdiaz72
November 15, 2024 14:42 45s javierdiaz72:javierdiaz72/hasorder-total-order
javierdiaz72:javierdiaz72/hasorder-total-order
November 15, 2024 14:42 45s
Upstream classes from iog-agda-prelude CI #51: Commit 0c61d92 pushed by WhatisRT
October 11, 2024 14:51 49s master
master
October 11, 2024 14:51 49s
Upstream classes from iog-agda-prelude CI #50: Pull request #5 opened by WhatisRT
October 11, 2024 14:49 46s upstream
upstream
October 11, 2024 14:49 46s
Merge pull request #4 from omelkonian/fix-has-order CI #49: Commit 28df278 pushed by WhatisRT
October 11, 2024 13:14 44s master
master
October 11, 2024 13:14 44s
Make HasOrder follow the same structure as everything else CI #48: Pull request #4 opened by WhatisRT
October 11, 2024 13:12 41s fix-has-order
fix-has-order
October 11, 2024 13:12 41s
Upstream HasAdd CI #47: Commit d944cb4 pushed by WhatisRT
October 11, 2024 13:03 2m 46s master
master
October 11, 2024 13:03 2m 46s
Upstream changes CI #46: Pull request #3 opened by WhatisRT
October 11, 2024 13:00 2m 57s upstream-changes
upstream-changes
October 11, 2024 13:00 2m 57s
Upstream CommutativeMonoid class CI #45: Commit 15066a6 pushed by WhatisRT
September 27, 2024 13:20 2m 59s master
master
September 27, 2024 13:20 2m 59s
Change name of index file CI #44: Commit 7cd9de3 pushed by omelkonian
September 13, 2024 14:26 2m 53s master
master
September 13, 2024 14:26 2m 53s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #43: Commit 99c522f pushed by omelkonian
September 13, 2024 14:20 47s master
master
September 13, 2024 14:20 47s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #42: Commit 6508eac pushed by omelkonian
September 13, 2024 13:16 50s master
master
September 13, 2024 13:16 50s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #41: Commit 19028f9 pushed by omelkonian
September 13, 2024 13:14 49s master
master
September 13, 2024 13:14 49s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #40: Commit 85d14f6 pushed by omelkonian
September 13, 2024 13:13 10s master
master
September 13, 2024 13:13 10s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #39: Commit d2f1330 pushed by omelkonian
September 13, 2024 13:07 54s master
master
September 13, 2024 13:07 54s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #38: Commit f169f7f pushed by omelkonian
September 12, 2024 15:00 50s master
master
September 12, 2024 15:00 50s
Bump versions to agda-2.7.0/stdlib-2.1.1 CI #37: Commit ca93ec1 pushed by omelkonian
September 12, 2024 14:18 42s master
master
September 12, 2024 14:18 42s
Upstream HasOrder class CI #36: Commit 019fa17 pushed by WhatisRT
July 5, 2024 14:28 5m 12s master
master
July 5, 2024 14:28 5m 12s