Skip to content

Actions: agda/agda-stdlib-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #46: by github-pages bot
February 20, 2025 13:06 46s gh-pages
gh-pages
February 20, 2025 13:06 46s
Monotonicity and modalities for predicates over types with orders (#10) CI #69: Commit d81855d pushed by WhatisRT
February 20, 2025 13:01 4m 15s master
master
February 20, 2025 13:01 4m 15s
Monotonicity and modalities for predicates over types with orders CI #68: Pull request #10 synchronize by casvdrest
February 20, 2025 12:38 3m 0s casvdrest:master
casvdrest:master
February 20, 2025 12:38 3m 0s
pages build and deployment pages-build-deployment #45: by github-pages bot
February 6, 2025 16:39 40s gh-pages
gh-pages
February 6, 2025 16:39 40s
Add Show instance for ℚ (#15) CI #66: Commit 73f4da0 pushed by WhatisRT
February 6, 2025 16:36 3m 1s master
master
February 6, 2025 16:36 3m 1s
Add Show instance for ℚ CI #65: Pull request #15 opened by javierdiaz72
February 6, 2025 15:06 2m 57s javierdiaz72:javierdiaz72/rational-show-instance
javierdiaz72:javierdiaz72/rational-show-instance
February 6, 2025 15:06 2m 57s
pages build and deployment pages-build-deployment #44: by github-pages bot
January 28, 2025 11:31 38s gh-pages
gh-pages
January 28, 2025 11:31 38s
Add Show instance for Maybe CI #64: Commit 252d8a3 pushed by WhatisRT
January 28, 2025 11:30 44s master
master
January 28, 2025 11:30 44s
Add Show instance for Maybe CI #63: Pull request #13 opened by javierdiaz72
January 23, 2025 13:21 38s javierdiaz72:javierdiaz72/maybe-show-instance
javierdiaz72:javierdiaz72/maybe-show-instance
January 23, 2025 13:21 38s
pages build and deployment pages-build-deployment #43: by github-pages bot
January 17, 2025 16:07 40s gh-pages
gh-pages
January 17, 2025 16:07 40s
CI: bump setup-agda CI #62: Commit ad4c616 pushed by omelkonian
January 17, 2025 16:04 3m 0s master
master
January 17, 2025 16:04 3m 0s
pages build and deployment pages-build-deployment #42: by github-pages bot
January 17, 2025 15:59 37s gh-pages
gh-pages
January 17, 2025 15:59 37s
CI: bump setup-agda CI #61: Pull request #12 opened by omelkonian
January 17, 2025 15:56 2m 55s orestis/bump-setup-agda
orestis/bump-setup-agda
January 17, 2025 15:56 2m 55s
pages build and deployment pages-build-deployment #41: by github-pages bot
November 28, 2024 14:35 40s gh-pages
gh-pages
November 28, 2024 14:35 40s
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
pages build and deployment pages-build-deployment #40: by github-pages bot
November 26, 2024 10:24 39s gh-pages
gh-pages
November 26, 2024 10:24 39s
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
pages build and deployment pages-build-deployment #39: by github-pages bot
November 26, 2024 09:50 39s gh-pages
gh-pages
November 26, 2024 09:50 39s
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
pages build and deployment pages-build-deployment #38: by github-pages bot
November 26, 2024 09:20 44s gh-pages
gh-pages
November 26, 2024 09:20 44s
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
pages build and deployment pages-build-deployment #37: by github-pages bot
November 26, 2024 08:50 38s gh-pages
gh-pages
November 26, 2024 08:50 38s
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