Skip to content

Actions: agda/agda-stdlib-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add order instances for rational numbers CI #30: Commit 6945d56 pushed by omelkonian
December 12, 2023 15:27 3m 27s master
master
December 12, 2023 15:27 3m 27s
Add order instances for rational numbers CI #29: Pull request #1 opened by WhatisRT
December 7, 2023 10:51 3m 16s add-dec-lt-rat
add-dec-lt-rat
December 7, 2023 10:51 3m 16s
pages build and deployment pages-build-deployment #21: by github-pages bot
November 10, 2023 17:14 54s gh-pages
gh-pages
November 10, 2023 17:14 54s
Show: add instance for integers CI #28: Commit cbb3a29 pushed by omelkonian
November 10, 2023 17:13 1m 9s master
master
November 10, 2023 17:13 1m 9s
pages build and deployment pages-build-deployment #20: by github-pages bot
November 10, 2023 16:09 53s gh-pages
gh-pages
November 10, 2023 16:09 53s
DecEq: add instance for ⊥ CI #27: Commit f6c3636 pushed by omelkonian
November 10, 2023 16:08 1m 3s master
master
November 10, 2023 16:08 1m 3s
pages build and deployment pages-build-deployment #19: by github-pages bot
November 10, 2023 14:52 57s gh-pages
gh-pages
November 10, 2023 14:52 57s
Decidable: remove redundant instances of Is-just/Is-nothing CI #26: Commit bb362da pushed by omelkonian
November 10, 2023 14:51 1m 3s master
master
November 10, 2023 14:51 1m 3s
pages build and deployment pages-build-deployment #18: by github-pages bot
November 10, 2023 13:25 55s gh-pages
gh-pages
November 10, 2023 13:25 55s
Decidable: inequality instances + syntactic sugar CI #25: Commit 6bce7eb pushed by omelkonian
November 10, 2023 13:24 1m 29s master
master
November 10, 2023 13:24 1m 29s
pages build and deployment pages-build-deployment #17: by github-pages bot
November 10, 2023 11:20 51s gh-pages
gh-pages
November 10, 2023 11:20 51s
Decidable: some more instances CI #24: Commit 0b544db pushed by omelkonian
November 10, 2023 11:19 1m 17s master
master
November 10, 2023 11:19 1m 17s
pages build and deployment pages-build-deployment #16: by github-pages bot
November 10, 2023 10:47 52s gh-pages
gh-pages
November 10, 2023 10:47 52s
DecEq: add instance for rational numbers CI #23: Commit 72090e0 pushed by omelkonian
November 10, 2023 10:46 1m 13s master
master
November 10, 2023 10:46 1m 13s
pages build and deployment pages-build-deployment #15: by github-pages bot
November 10, 2023 10:43 45s gh-pages
gh-pages
November 10, 2023 10:43 45s
Applicative: do not export private module M CI #22: Commit 30c253e pushed by omelkonian
November 10, 2023 10:42 58s master
master
November 10, 2023 10:42 58s
pages build and deployment pages-build-deployment #14: by github-pages bot
November 9, 2023 20:55 52s gh-pages
gh-pages
November 9, 2023 20:55 52s
With-K by default to include Class.DecEq.WithK in main file. CI #21: Commit 3e96662 pushed by omelkonian
November 9, 2023 20:54 38s master
master
November 9, 2023 20:54 38s
pages build and deployment pages-build-deployment #13: by github-pages bot
November 9, 2023 16:07 1m 0s gh-pages
gh-pages
November 9, 2023 16:07 1m 0s
Fix decidable instances to be discoverable CI #20: Commit 87ef0d8 pushed by omelkonian
November 9, 2023 16:06 51s master
master
November 9, 2023 16:06 51s
pages build and deployment pages-build-deployment #12: by github-pages bot
November 8, 2023 17:50 47s gh-pages
gh-pages
November 8, 2023 17:50 47s
CI: disable monthly reruns CI #19: Commit 498e35d pushed by omelkonian
November 8, 2023 17:47 3m 6s master
master
November 8, 2023 17:47 3m 6s
pages build and deployment pages-build-deployment #11: by github-pages bot
November 8, 2023 17:44 45s gh-pages
gh-pages
November 8, 2023 17:44 45s
README: fix grammar CI #18: Commit 7ac7f58 pushed by omelkonian
November 8, 2023 17:44 39s master
master
November 8, 2023 17:44 39s
pages build and deployment pages-build-deployment #10: by github-pages bot
November 8, 2023 00:37 51s gh-pages
gh-pages
November 8, 2023 00:37 51s