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

fix(LeftInvariantRightCentered): remove unneeded truncation Make #92: Commit a2c93b9 pushed by favonia
November 26, 2023 12:55 12s main
main
November 26, 2023 12:55 12s
fix(Lexicographic): remove unused decidable equality and lemmas Make #91: Commit 8534daf pushed by favonia
November 26, 2023 12:38 10s main
main
November 26, 2023 12:38 10s
fix(NonEmpty): hide the pseudo 'tail' Make #90: Commit c854bb8 pushed by favonia
November 25, 2023 20:50 14s main
main
November 25, 2023 20:50 14s
fix: make non-strict orders primitive Make #89: Pull request #32 synchronize by favonia
November 25, 2023 20:35 2m 33s worship-the-weak
worship-the-weak
November 25, 2023 20:35 2m 33s
fix(Fractal): correct the composition Make #88: Commit 678da16 pushed by favonia
November 25, 2023 20:33 10s main
main
November 25, 2023 20:33 10s
fix: remove unused Coimage Make #87: Commit 3939f63 pushed by favonia
November 25, 2023 20:23 10s main
main
November 25, 2023 20:23 10s
fix: make non-strict orders primitive Make #86: Pull request #32 synchronize by favonia
November 25, 2023 18:54 11s worship-the-weak
worship-the-weak
November 25, 2023 18:54 11s
fix: make non-strict orders primitive Make #85: Pull request #32 synchronize by favonia
November 25, 2023 15:03 14s worship-the-weak
worship-the-weak
November 25, 2023 15:03 14s
fix: make non-strict orders primitive Make #84: Pull request #32 synchronize by favonia
November 25, 2023 14:15 11s worship-the-weak
worship-the-weak
November 25, 2023 14:15 11s
fix: make non-strict orders primitive Make #83: Pull request #32 synchronize by favonia
November 24, 2023 23:35 16s worship-the-weak
worship-the-weak
November 24, 2023 23:35 16s
fix(NearlyConstant): make unqualified names usable Make #82: Commit c4664f5 pushed by favonia
November 24, 2023 23:35 12s main
main
November 24, 2023 23:35 12s
fix: make non-strict orders primitive Make #81: Pull request #32 synchronize by favonia
November 24, 2023 23:33 14s worship-the-weak
worship-the-weak
November 24, 2023 23:33 14s
Make Make #80: Commit 471b943 pushed by favonia
November 24, 2023 23:32 12s main
main
November 24, 2023 23:32 12s
fix: make non-strict orders primitive Make #79: Pull request #32 synchronize by favonia
November 24, 2023 23:31 13s worship-the-weak
worship-the-weak
November 24, 2023 23:31 13s
Make Make #78: Commit 7c9942d pushed by favonia
November 24, 2023 23:24 11s main
main
November 24, 2023 23:24 11s
fix: make non-strict orders primitive Make #77: Pull request #32 synchronize by favonia
November 24, 2023 23:23 10s worship-the-weak
worship-the-weak
November 24, 2023 23:23 10s
fix: make non-strict orders primitive Make #76: Pull request #32 synchronize by favonia
November 24, 2023 19:42 11s worship-the-weak
worship-the-weak
November 24, 2023 19:42 11s
fix(NearlyConstant): make unqualified names usable Make #75: Commit c4664f5 pushed by favonia
November 24, 2023 19:40 11s main
main
November 24, 2023 19:40 11s
fix: make non-strict orders primitive Make #74: Pull request #32 synchronize by favonia
November 24, 2023 18:03 14s worship-the-weak
worship-the-weak
November 24, 2023 18:03 14s
fix(StrictOrder): remove trichotomy Make #73: Commit 6c3702b pushed by favonia
November 24, 2023 18:01 18s main
main
November 24, 2023 18:01 18s
fix: make non-strict orders primitive Make #72: Pull request #32 opened by favonia
November 24, 2023 14:28 11s worship-the-weak
worship-the-weak
November 24, 2023 14:28 11s
fix(NearlyConstant): remove useless instances Make #71: Commit 26c8f02 pushed by favonia
November 24, 2023 13:51 14s main
main
November 24, 2023 13:51 14s
feat(FiniteSupport): add extensionality Make #70: Commit 42389a3 pushed by favonia
November 24, 2023 12:34 18s main
main
November 24, 2023 12:34 18s
fix(NearlyConstant): major rewrite and cleanup: stage 4 (#30) Make #69: Commit f784da3 pushed by favonia
November 24, 2023 12:15 14s main
main
November 24, 2023 12:15 14s
fix(NearlyConstant): major rewrite and cleanup: stage 4 Make #68: Pull request #30 synchronize by favonia
November 24, 2023 12:13 15s cleanup-stage4
cleanup-stage4
November 24, 2023 12:13 15s