Skip to content

Actions: RedPRL/agda-mugen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1391953107 Dependabot Updates #49: by dependabot Bot
31s main
main
31s
docker in /. - Update #1391953109 Dependabot Updates #48: by dependabot Bot
21s main
main
21s
github_actions in /. - Update #1382225777 Dependabot Updates #47: by dependabot Bot
29s main
main
29s
docker in /. - Update #1382225778 Dependabot Updates #46: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1371139007 Dependabot Updates #45: by dependabot Bot
28s main
main
28s
docker in /. - Update #1371139008 Dependabot Updates #44: by dependabot Bot
22s main
main
22s
docker in /. - Update #1358825772 Dependabot Updates #43: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1358825773 Dependabot Updates #42: by dependabot Bot
38s main
main
38s
docker in /. - Update #1346056104 Dependabot Updates #41: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1346056101 Dependabot Updates #40: by dependabot Bot
33s main
main
33s
docker in /. - Update #1337824053 Dependabot Updates #39: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1337824054 Dependabot Updates #38: by dependabot Bot
32s main
main
32s
fix: rename Prefix to LexicalList Docker #275: Commit 9c2a9a6 pushed by favonia
30m 39s main
main
30m 39s
fix: rename Prefix to LexicalList Make #236: Commit 9c2a9a6 pushed by favonia
6s main
main
6s
github_actions in /. - Update #1329321398 Dependabot Updates #37: by dependabot Bot
37s main
main
37s
docker in /. - Update #1329321399 Dependabot Updates #36: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1319402603 Dependabot Updates #35: by dependabot Bot
31s main
main
31s
docker in /. - Update #1319402605 Dependabot Updates #34: by dependabot Bot
27s main
main
27s
refactor: polish the McBride monad Docker #274: Commit ba2bf2f pushed by favonia
4m 39s main
main
4m 39s
refactor: polish the McBride monad Make #235: Commit ba2bf2f pushed by favonia
7s main
main
7s
refactor: minor style adjustments Docker #273: Commit b3495c8 pushed by favonia
4m 41s main
main
4m 41s
refactor: minor style adjustments Make #234: Commit b3495c8 pushed by favonia
9s main
main
9s
github_actions in /. - Update #1308211799 Dependabot Updates #33: by dependabot Bot
33s main
main
33s
docker in /. - Update #1308211802 Dependabot Updates #32: by dependabot Bot
29s main
main
29s
refactor: remove the last CamelCase (except 'McBride') Make #233: Commit fcfb232 pushed by favonia
9s main
main
9s