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

refactor: various refactoring Make #42: Pull request #26 opened by favonia
November 21, 2023 10:55 11s refactoring
refactoring
November 21, 2023 10:55 11s
build: use the latest 1lab Make #41: Commit d053963 pushed by favonia
November 21, 2023 00:09 13s main
main
November 21, 2023 00:09 13s
refactor(LPO): simplify code Make #40: Commit 0a264ab pushed by favonia
November 20, 2023 14:14 13s main
main
November 20, 2023 14:14 13s
refactor: add <-not-equal Make #39: Commit 0ea4f73 pushed by favonia
November 20, 2023 14:13 16s main
main
November 20, 2023 14:13 16s
docs: fix typos Make #38: Commit 8d52773 pushed by favonia
November 20, 2023 13:42 11s main
main
November 20, 2023 13:42 11s
build: update Dockerfile Make #37: Commit a9a5fdc pushed by favonia
November 19, 2023 16:52 11s main
main
November 19, 2023 16:52 11s
docs(README): update instructions Make #36: Commit fa09442 pushed by favonia
November 19, 2023 12:38 10s main
main
November 19, 2023 12:38 10s
build(deps): bump the github-actions group with 3 updates (#25) Make #35: Commit e12e576 pushed by favonia
November 8, 2023 08:27 18s main
main
November 8, 2023 08:27 18s
build(deps): bump the github-actions group with 3 updates Make #34: Pull request #25 opened by dependabot bot
November 8, 2023 08:22 14s dependabot/github_actions/github-actions-a4aea5b644
dependabot/github_actions/github-actions-a4aea5b644
November 8, 2023 08:22 14s
ci: reduce dependabot PRs Make #33: Commit ab41693 pushed by favonia
November 8, 2023 08:22 11s main
main
November 8, 2023 08:22 11s
build(deps): bump actions/checkout from 3 to 4 Make #32: Pull request #24 opened by dependabot bot
November 8, 2023 02:02 15s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
November 8, 2023 02:02 15s
build(deps): bump docker/setup-buildx-action from 2 to 3 Make #31: Pull request #23 opened by dependabot bot
November 8, 2023 02:02 11s dependabot/github_actions/docker/setup-buildx-action-3
dependabot/github_actions/docker/setup-buildx-action-3
November 8, 2023 02:02 11s
build(deps): bump docker/build-push-action from 4 to 5 Make #30: Pull request #22 opened by dependabot bot
November 8, 2023 02:02 14s dependabot/github_actions/docker/build-push-action-5
dependabot/github_actions/docker/build-push-action-5
November 8, 2023 02:02 14s
Cleanup code, bring up to date with new versions of 1Lab and Agda (#21) Make #29: Commit 0a70440 pushed by favonia
November 8, 2023 01:19 13s main
main
November 8, 2023 01:19 13s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #28: Pull request #21 synchronize by TOTBWF
November 8, 2023 00:12 16s cleanup
cleanup
November 8, 2023 00:12 16s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #27: Pull request #21 synchronize by TOTBWF
November 8, 2023 00:02 15s cleanup
cleanup
November 8, 2023 00:02 15s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #26: Pull request #21 synchronize by TOTBWF
October 26, 2023 23:19 14s cleanup
cleanup
October 26, 2023 23:19 14s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #25: Pull request #21 synchronize by TOTBWF
October 10, 2023 21:30 14s cleanup
cleanup
October 10, 2023 21:30 14s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #24: Pull request #21 synchronize by TOTBWF
October 10, 2023 21:18 14s cleanup
cleanup
October 10, 2023 21:18 14s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #23: Pull request #21 synchronize by TOTBWF
October 10, 2023 20:56 12s cleanup
cleanup
October 10, 2023 20:56 12s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #22: Pull request #21 synchronize by TOTBWF
October 10, 2023 20:40 14s cleanup
cleanup
October 10, 2023 20:40 14s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #21: Pull request #21 synchronize by TOTBWF
October 10, 2023 20:32 13s cleanup
cleanup
October 10, 2023 20:32 13s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #20: Pull request #21 synchronize by TOTBWF
October 10, 2023 19:56 17s cleanup
cleanup
October 10, 2023 19:56 17s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #19: Pull request #21 synchronize by TOTBWF
October 10, 2023 19:16 32s cleanup
cleanup
October 10, 2023 19:16 32s
Cleanup code, bring up to date with new versions of 1Lab and Agda Make #18: Pull request #21 synchronize by TOTBWF
October 10, 2023 18:45 15s cleanup
cleanup
October 10, 2023 18:45 15s