Skip to content

Actions: RedPRL/agda-mugen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: formalize the "Traditional" universe polymorphism Make #195: Pull request #55 synchronize by favonia
June 1, 2024 02:36 16s traditional
traditional
June 1, 2024 02:36 16s
docs: rename "incorrect fractal" to "weird fractal" and update README Make #194: Commit 1c541f7 pushed by favonia
May 31, 2024 14:52 16s main
main
May 31, 2024 14:52 16s
docs: rename "incorrect fractal" to "weird fractal" and update README Docker #233: Commit 1c541f7 pushed by favonia
May 31, 2024 14:52 3m 56s main
main
May 31, 2024 14:52 3m 56s
docs: rename "incorrect fractal" to "weird fractal" and update README Docker #232: Commit e806dea pushed by favonia
May 31, 2024 14:52 2m 10s main
main
May 31, 2024 14:52 2m 10s
docs: rename "incorrect fractal" to "weird fractal" and update README Make #193: Commit e806dea pushed by favonia
May 31, 2024 14:52 14s main
main
May 31, 2024 14:52 14s
feat: the "incorrect" Fractal resurges (#57) Docker #231: Commit ce97db7 pushed by favonia
May 31, 2024 14:34 4m 0s main
main
May 31, 2024 14:34 4m 0s
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
feat: the "incorrect" Fractal resurges Docker #230: Pull request #57 opened by favonia
May 31, 2024 14:30 3m 48s incorrect-fractal
incorrect-fractal
May 31, 2024 14:30 3m 48s
refactor: minor tweaks Make #190: Commit 78462d6 pushed by favonia
May 31, 2024 13:49 21s main
main
May 31, 2024 13:49 21s
refactor: minor tweaks Docker #229: Commit 78462d6 pushed by favonia
May 31, 2024 13:49 3m 54s main
main
May 31, 2024 13:49 3m 54s
feat: formalize the "Traditional" universe polymorphism Docker #228: Pull request #55 opened by favonia
May 29, 2024 10:11 3m 41s traditional
traditional
May 29, 2024 10:11 3m 41s
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
refactor: Liftᵖ is upstreamed Docker #227: Commit dbe60b7 pushed by favonia
May 29, 2024 03:13 3m 26s main
main
May 29, 2024 03:13 3m 26s
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 (#53) Docker #226: Commit ce35155 pushed by favonia
May 29, 2024 03:08 3m 49s main
main
May 29, 2024 03:08 3m 49s
feat: theorem 3.10 Docker #225: Pull request #53 opened by favonia
May 29, 2024 03:04 3m 57s theorem-3.10
theorem-3.10
May 29, 2024 03:04 3m 57s
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) Docker #224: Commit 000df03 pushed by favonia
May 28, 2024 21:28 3m 55s main
main
May 28, 2024 21:28 3m 55s
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 Docker #223: Pull request #52 synchronize by favonia
May 28, 2024 12:31 4m 6s clean-ups
clean-ups
May 28, 2024 12:31 4m 6s
refactor: post-lemma-3.9 clean-ups Docker #222: Pull request #52 synchronize by favonia
May 27, 2024 19:49 3m 43s clean-ups
clean-ups
May 27, 2024 19:49 3m 43s
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