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

feat: the "incorrect" Fractal resurges (#57) Make #192: Commit ce97db7 pushed by favonia
May 31, 2024 14:34 20s main
main
May 31, 2024 14:34 20s
feat: the "incorrect" Fractal resurges Make #191: Pull request #57 opened by favonia
May 31, 2024 14:30 14s incorrect-fractal
incorrect-fractal
May 31, 2024 14:30 14s
refactor: minor tweaks Make #190: Commit 78462d6 pushed by favonia
May 31, 2024 13:49 21s main
main
May 31, 2024 13:49 21s
feat: formalize the "Traditional" universe polymorphism Make #189: Pull request #55 opened by favonia
May 29, 2024 10:11 12s traditional
traditional
May 29, 2024 10:11 12s
refactor: Liftᵖ is upstreamed Make #188: Commit dbe60b7 pushed by favonia
May 29, 2024 03:13 10s main
main
May 29, 2024 03:13 10s
feat: theorem 3.10 (#53) Make #187: Commit ce35155 pushed by favonia
May 29, 2024 03:08 17s main
main
May 29, 2024 03:08 17s
feat: theorem 3.10 Make #186: Pull request #53 opened by favonia
May 29, 2024 03:04 21s theorem-3.10
theorem-3.10
May 29, 2024 03:04 21s
refactor: post-lemma-3.9 clean-ups (#52) Make #185: Commit 000df03 pushed by favonia
May 28, 2024 21:28 12s main
main
May 28, 2024 21:28 12s
refactor: post-lemma-3.9 clean-ups Make #184: Pull request #52 synchronize by favonia
May 28, 2024 12:31 23s clean-ups
clean-ups
May 28, 2024 12:31 23s
refactor: post-lemma-3.9 clean-ups Make #183: Pull request #52 synchronize by favonia
May 27, 2024 19:49 11s clean-ups
clean-ups
May 27, 2024 19:49 11s
refactor: post-lemma-3.9 clean-ups Make #182: Pull request #52 synchronize by favonia
May 27, 2024 16:39 11s clean-ups
clean-ups
May 27, 2024 16:39 11s
refactor: post-lemma-3.9 clean-ups Make #181: Pull request #52 opened by favonia
May 27, 2024 14:15 13s clean-ups
clean-ups
May 27, 2024 14:15 13s
feat: lemma 3.9 (#50) Make #180: Commit ce83fdd pushed by favonia
May 26, 2024 19:11 12s main
main
May 26, 2024 19:11 12s
feat: lemma 3.9 Make #179: Pull request #50 synchronize by favonia
May 26, 2024 18:55 13s lemma-3.9
lemma-3.9
May 26, 2024 18:55 13s
feat: lemma 3.9 Make #178: Pull request #50 synchronize by favonia
May 26, 2024 18:06 12s lemma-3.9
lemma-3.9
May 26, 2024 18:06 12s
feat: lemma 3.9 Make #177: Pull request #50 synchronize by favonia
May 26, 2024 18:04 17s lemma-3.9
lemma-3.9
May 26, 2024 18:04 17s
feat: lemma 3.9 Make #176: Pull request #50 synchronize by favonia
May 26, 2024 16:48 12s lemma-3.9
lemma-3.9
May 26, 2024 16:48 12s
feat: lemma 3.9 Make #175: Pull request #50 synchronize by favonia
May 26, 2024 15:51 11s lemma-3.9
lemma-3.9
May 26, 2024 15:51 11s
feat: lemma 3.9 Make #174: Pull request #50 synchronize by favonia
May 26, 2024 15:40 15s lemma-3.9
lemma-3.9
May 26, 2024 15:40 15s
refactor: various improvements for doing Lemma 3.9 (#51) Make #173: Commit a55aa1b pushed by favonia
May 26, 2024 15:28 14s main
main
May 26, 2024 15:28 14s
refactor: various improvements for doing Lemma 3.9 Make #172: Pull request #51 opened by favonia
May 26, 2024 15:21 12s random-improvements
random-improvements
May 26, 2024 15:21 12s
feat: lemma 3.9 Make #171: Pull request #50 synchronize by favonia
May 25, 2024 20:21 15s lemma-3.9
lemma-3.9
May 25, 2024 20:21 15s
feat: lemma 3.9 Make #170: Pull request #50 synchronize by favonia
May 25, 2024 08:07 13s lemma-3.9
lemma-3.9
May 25, 2024 08:07 13s
feat: lemma 3.9 Make #169: Pull request #50 synchronize by favonia
May 25, 2024 06:47 10s lemma-3.9
lemma-3.9
May 25, 2024 06:47 10s
feat: lemma 3.9 Make #168: Pull request #50 synchronize by favonia
May 24, 2024 13:34 14s lemma-3.9
lemma-3.9
May 24, 2024 13:34 14s