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

github_actions in /. for docker/build-push-action - Update #858354072 Dependabot Updates #5: by dependabot bot
July 22, 2024 01:09 35s main
main
July 22, 2024 01:09 35s
github_actions in /. - Update #858354061 Dependabot Updates #4: by dependabot bot
July 22, 2024 01:09 33s main
main
July 22, 2024 01:09 33s
docker in /. - Update #855363967 Dependabot Updates #3: by dependabot bot
July 15, 2024 01:55 30s main
main
July 15, 2024 01:55 30s
github_actions in /. for docker/build-push-action - Update #855360519 Dependabot Updates #2: by dependabot bot
July 15, 2024 01:48 41s main
main
July 15, 2024 01:48 41s
github_actions in /. - Update #855360510 Dependabot Updates #1: by dependabot bot
July 15, 2024 01:48 33s main
main
July 15, 2024 01:48 33s
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
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
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
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) 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 (#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 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 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 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: 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 (#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 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 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
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