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

build(deps): bump docker/build-push-action from 5 to 6 in the github-actions group Make #217: Pull request #60 opened by dependabot bot
June 24, 2024 01:56 12s dependabot/github_actions/github-actions-bf940bc907
dependabot/github_actions/github-actions-bf940bc907
June 24, 2024 01:56 12s
refactor: use the singleton poset from the upstream Make #216: Commit 8e3e0c8 pushed by favonia
June 14, 2024 16:46 11s main
main
June 14, 2024 16:46 11s
Upgrade 1lab and clean up code Make #215: Commit f0c9ed2 pushed by favonia
June 10, 2024 12:50 12s main
main
June 10, 2024 12:50 12s
feat: formalize the "Traditional" universe polymorphism (#55) Make #214: Commit d38bcc6 pushed by favonia
June 9, 2024 19:00 11s main
main
June 9, 2024 19:00 11s
feat: formalize the "Traditional" universe polymorphism Make #213: Pull request #55 synchronize by favonia
June 9, 2024 18:56 11s traditional
traditional
June 9, 2024 18:56 11s
feat: formalize the "Traditional" universe polymorphism Make #212: Pull request #55 synchronize by favonia
June 9, 2024 18:52 15s traditional
traditional
June 9, 2024 18:52 15s
feat: formalize the "Traditional" universe polymorphism Make #211: Pull request #55 synchronize by favonia
June 9, 2024 18:44 15s traditional
traditional
June 9, 2024 18:44 15s
feat: McBride monad is functorial in its displacement algebra (#58) Make #210: Commit 717bf48 pushed by favonia
June 9, 2024 18:39 10s main
main
June 9, 2024 18:39 10s
feat: McBride monad is functorial in its displacement algebra Make #209: Pull request #58 synchronize by favonia
June 9, 2024 18:39 11s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 18:39 11s
feat: McBride monad is functorial in its displacement algebra Make #208: Pull request #58 synchronize by favonia
June 9, 2024 18:31 16s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 18:31 16s
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
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 Make #204: Commit 0798d6d pushed by favonia
June 9, 2024 12:05 13s main
main
June 9, 2024 12:05 13s
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 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: 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 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 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
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 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 Make #193: Commit e806dea pushed by favonia
May 31, 2024 14:52 14s main
main
May 31, 2024 14:52 14s