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

refactor: minor clean-ups Make #207: Commit ec7d2a5 pushed by favonia
June 9, 2024 17:01 10s main
main
June 9, 2024 17:01 10s
refactor: minor clean-ups Docker #246: Commit ec7d2a5 pushed by favonia
June 9, 2024 17:01 4m 1s main
main
June 9, 2024 17:01 4m 1s
feat: McBride monad is functorial in its displacement algebra Docker #245: Pull request #58 synchronize by favonia
June 9, 2024 17:01 2m 56s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 17:01 2m 56s
feat: McBride monad is functorial in its displacement algebra Make #206: Pull request #58 synchronize by favonia
June 9, 2024 17:01 11s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 17:01 11s
refactor: minor clean-ups Make #205: Commit 999ae3a pushed by favonia
June 9, 2024 14:58 11s main
main
June 9, 2024 14:58 11s
refactor: minor clean-ups Docker #244: Commit 999ae3a pushed by favonia
June 9, 2024 14:58 3m 41s main
main
June 9, 2024 14:58 3m 41s
refactor: minor clean-ups Make #204: Commit 0798d6d pushed by favonia
June 9, 2024 12:05 13s main
main
June 9, 2024 12:05 13s
refactor: minor clean-ups Docker #243: Commit 0798d6d pushed by favonia
June 9, 2024 12:05 3m 50s main
main
June 9, 2024 12:05 3m 50s
feat: McBride monad is functorial in its displacement algebra Make #203: Pull request #58 synchronize by favonia
June 4, 2024 12:04 14s wip-mcbride-functorial
wip-mcbride-functorial
June 4, 2024 12:04 14s
feat: McBride monad is functorial in its displacement algebra Docker #242: Pull request #58 synchronize by favonia
June 4, 2024 12:04 3m 7s wip-mcbride-functorial
wip-mcbride-functorial
June 4, 2024 12:04 3m 7s
feat: McBride monad is functorial in its displacement algebra Docker #241: Pull request #58 synchronize by favonia
June 4, 2024 00:34 2m 48s wip-mcbride-functorial
wip-mcbride-functorial
June 4, 2024 00:34 2m 48s
feat: McBride monad is functorial in its displacement algebra Make #202: Pull request #58 synchronize by favonia
June 4, 2024 00:34 15s wip-mcbride-functorial
wip-mcbride-functorial
June 4, 2024 00:34 15s
feat: McBride monad is functorial in its displacement algebra Make #201: Pull request #58 opened by favonia
June 3, 2024 22:30 49s wip-mcbride-functorial
wip-mcbride-functorial
June 3, 2024 22:30 49s
feat: McBride monad is functorial in its displacement algebra Docker #240: Pull request #58 opened by favonia
June 3, 2024 22:30 2m 51s wip-mcbride-functorial
wip-mcbride-functorial
June 3, 2024 22:30 2m 51s
feat: define the category of displacement algebras Make #200: Commit 85ff9dc pushed by favonia
June 2, 2024 13:25 11s main
main
June 2, 2024 13:25 11s
feat: define the category of displacement algebras Docker #239: Commit 85ff9dc pushed by favonia
June 2, 2024 13:25 3m 58s main
main
June 2, 2024 13:25 3m 58s
feat: define the category of displacement algebras Docker #238: Commit 01fc9f8 pushed by favonia
June 2, 2024 11:52 3m 52s main
main
June 2, 2024 11:52 3m 52s
feat: define the category of displacement algebras Make #199: Commit 01fc9f8 pushed by favonia
June 2, 2024 11:52 15s main
main
June 2, 2024 11:52 15s
docs(README): fix typos and update text Docker #237: Commit 04d9dce pushed by favonia
June 1, 2024 02:39 3m 48s main
main
June 1, 2024 02:39 3m 48s
docs(README): fix typos and update text Make #198: Commit 04d9dce pushed by favonia
June 1, 2024 02:39 11s main
main
June 1, 2024 02:39 11s
docs: fix typo Make #197: Commit 2005a42 pushed by favonia
June 1, 2024 02:37 10s main
main
June 1, 2024 02:37 10s
docs: fix typo Docker #236: Commit 2005a42 pushed by favonia
June 1, 2024 02:37 3m 45s main
main
June 1, 2024 02:37 3m 45s
refactor: improve the math a little bit Docker #235: Commit a62bf9f pushed by favonia
June 1, 2024 02:37 3m 46s main
main
June 1, 2024 02:37 3m 46s
refactor: improve the math a little bit Make #196: Commit a62bf9f pushed by favonia
June 1, 2024 02:37 11s main
main
June 1, 2024 02:37 11s
feat: formalize the "Traditional" universe polymorphism Docker #234: Pull request #55 synchronize by favonia
June 1, 2024 02:36 3m 44s traditional
traditional
June 1, 2024 02:36 3m 44s