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

style(NearlyConstant): make compact keep the base definitionally (#40) Make #117: Commit 91904b2 pushed by favonia
November 27, 2023 14:59 18s main
main
November 27, 2023 14:59 18s
feat: generalize infinite products Make #116: Pull request #39 synchronize by favonia
November 27, 2023 12:35 13s functional
functional
November 27, 2023 12:35 13s
feat: generalize infinite products Make #115: Pull request #39 synchronize by favonia
November 27, 2023 12:28 12s functional
functional
November 27, 2023 12:28 12s
feat: generalize infinite products Make #114: Pull request #39 synchronize by favonia
November 27, 2023 07:14 10s functional
functional
November 27, 2023 07:14 10s
style(NearlyConstant): make compact keep the base definitionally Make #113: Pull request #40 opened by favonia
November 27, 2023 05:28 11s tweak-nearly-constant
tweak-nearly-constant
November 27, 2023 05:28 11s
feat: generalize infinite products Make #112: Pull request #39 opened by favonia
November 27, 2023 05:20 13s functional
functional
November 27, 2023 05:20 13s
refactor: split Cat.HierarchyTheory into multiple files (#37) Make #111: Commit bb82756 pushed by favonia
November 27, 2023 04:40 14s main
main
November 27, 2023 04:40 14s
refactor: split Cat.HierarchyTheory into multiple files Make #110: Pull request #37 synchronize by favonia
November 27, 2023 04:34 12s reorg-cats
reorg-cats
November 27, 2023 04:34 12s
refactor: split Cat.HierarchyTheory into multiple files Make #109: Pull request #37 opened by favonia
November 27, 2023 04:33 11s reorg-cats
reorg-cats
November 27, 2023 04:33 11s
style: sort some of the imports Make #108: Commit 0e8190e pushed by favonia
November 27, 2023 03:54 14s main
main
November 27, 2023 03:54 14s
fix: make non-strict orders primitive (#32) Make #107: Commit 147c8d9 pushed by favonia
November 27, 2023 03:34 14s main
main
November 27, 2023 03:34 14s
fix: make non-strict orders primitive Make #106: Pull request #32 synchronize by favonia
November 27, 2023 03:12 12s worship-the-weak
worship-the-weak
November 27, 2023 03:12 12s
fix: make non-strict orders primitive Make #105: Pull request #32 synchronize by favonia
November 27, 2023 02:42 15s worship-the-weak
worship-the-weak
November 27, 2023 02:42 15s
fix: make non-strict orders primitive Make #104: Pull request #32 synchronize by favonia
November 26, 2023 22:41 10s worship-the-weak
worship-the-weak
November 26, 2023 22:41 10s
fix: make non-strict orders primitive Make #103: Pull request #32 synchronize by favonia
November 26, 2023 22:05 15s worship-the-weak
worship-the-weak
November 26, 2023 22:05 15s
fix: make non-strict orders primitive Make #102: Pull request #32 synchronize by favonia
November 26, 2023 21:37 18s worship-the-weak
worship-the-weak
November 26, 2023 21:37 18s
fix: make non-strict orders primitive Make #101: Pull request #32 synchronize by favonia
November 26, 2023 21:09 14s worship-the-weak
worship-the-weak
November 26, 2023 21:09 14s
fix: make non-strict orders primitive Make #100: Pull request #32 synchronize by favonia
November 26, 2023 20:27 12s worship-the-weak
worship-the-weak
November 26, 2023 20:27 12s
fix: make non-strict orders primitive Make #99: Pull request #32 synchronize by favonia
November 26, 2023 15:01 10s worship-the-weak
worship-the-weak
November 26, 2023 15:01 10s
style: rename free-algebra-path to free-algebra-hom-path Make #98: Commit 20e33c4 pushed by favonia
November 26, 2023 15:00 12s main
main
November 26, 2023 15:00 12s
fix: make non-strict orders primitive Make #97: Pull request #32 synchronize by favonia
November 26, 2023 13:57 10s worship-the-weak
worship-the-weak
November 26, 2023 13:57 10s
fix: make non-strict orders primitive Make #96: Pull request #32 synchronize by favonia
November 26, 2023 13:50 14s worship-the-weak
worship-the-weak
November 26, 2023 13:50 14s
style(LeftInvariantRightCentered): remove ⋉-elim Make #95: Commit e6763c5 pushed by favonia
November 26, 2023 13:48 10s main
main
November 26, 2023 13:48 10s
style(LeftInvariantRightCentered): change the notation Make #94: Commit 1e094c7 pushed by favonia
November 26, 2023 13:26 10s main
main
November 26, 2023 13:26 10s
style(LeftInvariantRightCentered): change the notation Make #93: Commit 4285d06 pushed by favonia
November 26, 2023 13:21 11s main
main
November 26, 2023 13:21 11s