Skip to content

Actions: RedPRL/agda-mugen

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
202 workflow runs
202 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 Docker #256: Pull request #60 opened by dependabot bot
June 24, 2024 01:56 18m 48s dependabot/github_actions/github-actions-bf940bc907
dependabot/github_actions/github-actions-bf940bc907
June 24, 2024 01:56 18m 48s
refactor: use the singleton poset from the upstream Docker #255: Commit 8e3e0c8 pushed by favonia
June 14, 2024 16:46 3m 59s main
main
June 14, 2024 16:46 3m 59s
Upgrade 1lab and clean up code Docker #254: Commit f0c9ed2 pushed by favonia
June 10, 2024 12:50 4m 14s main
main
June 10, 2024 12:50 4m 14s
feat: formalize the "Traditional" universe polymorphism (#55) Docker #253: Commit d38bcc6 pushed by favonia
June 9, 2024 19:00 4m 5s main
main
June 9, 2024 19:00 4m 5s
feat: formalize the "Traditional" universe polymorphism Docker #252: Pull request #55 synchronize by favonia
June 9, 2024 18:56 3m 49s traditional
traditional
June 9, 2024 18:56 3m 49s
feat: formalize the "Traditional" universe polymorphism Docker #251: Pull request #55 synchronize by favonia
June 9, 2024 18:52 4m 5s traditional
traditional
June 9, 2024 18:52 4m 5s
feat: formalize the "Traditional" universe polymorphism Docker #250: Pull request #55 synchronize by favonia
June 9, 2024 18:44 3m 57s traditional
traditional
June 9, 2024 18:44 3m 57s
feat: McBride monad is functorial in its displacement algebra (#58) Docker #249: Commit 717bf48 pushed by favonia
June 9, 2024 18:39 3m 46s main
main
June 9, 2024 18:39 3m 46s
feat: McBride monad is functorial in its displacement algebra Docker #248: Pull request #58 synchronize by favonia
June 9, 2024 18:39 4m 0s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 18:39 4m 0s
feat: McBride monad is functorial in its displacement algebra Docker #247: Pull request #58 synchronize by favonia
June 9, 2024 18:31 3m 35s wip-mcbride-functorial
wip-mcbride-functorial
June 9, 2024 18:31 3m 35s
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
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 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 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 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 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
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: 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
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
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