Skip to content

Actions: RedPRL/agda-mugen

Actions

Make

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
regenerate-everything.yaml
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: note that the links are currently broken Make #142: Commit 8a5a77f pushed by favonia
December 10, 2023 14:48 9s main
main
December 10, 2023 14:48 9s
feat: add Copower Make #141: Commit 5656456 pushed by favonia
December 10, 2023 14:46 10s main
main
December 10, 2023 14:46 10s
feat: add Copower Make #140: Commit c874d31 pushed by favonia
December 10, 2023 14:46 13s main
main
December 10, 2023 14:46 13s
fix: better argument passing for extensionality Make #139: Commit b02e839 pushed by favonia
December 10, 2023 14:28 10s main
main
December 10, 2023 14:28 10s
fix: major rewrite to use the new Poset (#48) Make #138: Commit c0085df pushed by favonia
December 10, 2023 11:53 10s main
main
December 10, 2023 11:53 10s
fix: major rewrite to use the new Poset Make #137: Pull request #48 synchronize by favonia
December 10, 2023 06:51 11s flatten-poset
flatten-poset
December 10, 2023 06:51 11s
refactor(McBride): small cleanup Make #136: Commit f31bc60 pushed by favonia
December 1, 2023 12:09 12s main
main
December 1, 2023 12:09 12s
refactor: introduce 'strict-or' and upgrade 1lab (#46) Make #135: Commit b65f1bd pushed by favonia
November 30, 2023 17:13 12s main
main
November 30, 2023 17:13 12s
refactor: introduce 'strict-or' and upgrade 1lab Make #134: Pull request #46 synchronize by favonia
November 30, 2023 17:13 13s strict-invariant
strict-invariant
November 30, 2023 17:13 13s
refactor: introduce 'strict-or' and upgrade 1lab Make #133: Pull request #46 synchronize by favonia
November 30, 2023 17:08 10s strict-invariant
strict-invariant
November 30, 2023 17:08 10s
refactor: introduce 'strict-or' and upgrade 1lab Make #132: Pull request #46 synchronize by favonia
November 30, 2023 17:03 13s strict-invariant
strict-invariant
November 30, 2023 17:03 13s
refactor: introduce 'strict-or' and upgrade 1lab Make #131: Pull request #46 opened by favonia
November 30, 2023 16:10 11s strict-invariant
strict-invariant
November 30, 2023 16:10 11s
style: remove unused code Make #130: Commit dd82cac pushed by favonia
November 30, 2023 11:20 17s main
main
November 30, 2023 11:20 17s
style(EndomorphismEmbedding): polishing Make #129: Commit 863cede pushed by favonia
November 30, 2023 02:04 14s main
main
November 30, 2023 02:04 14s
style: new definition of "preserving strict orders" (#45) Make #128: Commit 666198d pushed by favonia
November 28, 2023 23:29 10s main
main
November 28, 2023 23:29 10s
style: new definition of "preserving strict orders" Make #127: Pull request #45 opened by favonia
November 28, 2023 23:28 14s new-strict-mono
new-strict-mono
November 28, 2023 23:28 14s
docs(README): tweak the table further Make #126: Commit 49c107c pushed by favonia
November 28, 2023 15:34 11s main
main
November 28, 2023 15:34 11s
docs(README): update links and point out the missing parts Make #125: Commit f6b44b8 pushed by favonia
November 28, 2023 15:33 16s main
main
November 28, 2023 15:33 16s
style: reorganize Cat.HierarchyTheory and update documentation (#42) Make #124: Commit f134d5c pushed by favonia
November 28, 2023 15:24 13s main
main
November 28, 2023 15:24 13s
style: reorganize Cat.HierarchyTheory and update documentation Make #123: Pull request #42 opened by favonia
November 28, 2023 15:19 13s cat-reorg
cat-reorg
November 28, 2023 15:19 13s
style: use '#' better (#41) Make #122: Commit b884ba9 pushed by favonia
November 28, 2023 02:17 11s main
main
November 28, 2023 02:17 11s
style: use '#' better Make #121: Pull request #41 opened by favonia
November 28, 2023 00:17 15s be-sharper
be-sharper
November 28, 2023 00:17 15s
feat: generalize infinite products to indexed products (#39) Make #120: Commit bff5752 pushed by favonia
November 27, 2023 16:57 11s main
main
November 27, 2023 16:57 11s
feat: generalize infinite products Make #119: Pull request #39 synchronize by favonia
November 27, 2023 16:54 14s functional
functional
November 27, 2023 16:54 14s
feat: generalize infinite products Make #118: Pull request #39 synchronize by favonia
November 27, 2023 14:59 11s functional
functional
November 27, 2023 14:59 11s