Skip to content

Actions: RedPRL/mugen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps): bump actions/checkout from 3 to 4 (#20) Build, test, and doc update #143: Commit 7bd2854 pushed by favonia
September 5, 2023 14:06 8m 31s main
main
September 5, 2023 14:06 8m 31s
build(deps): bump actions/checkout from 3 to 4 (#20) Build, test, and doc update #142: Commit 86d7cdd pushed by favonia
September 5, 2023 14:03 8m 6s main
main
September 5, 2023 14:03 8m 6s
build(deps): bump actions/checkout from 3 to 4 Build, test, and doc update #141: Pull request #20 opened by dependabot bot
September 5, 2023 12:16 12m 38s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 5, 2023 12:16 12m 38s
fix: better Syntax.dump (#18) Build, test, and doc update #140: Commit a515ac6 pushed by favonia
August 28, 2023 19:00 4m 11s main
main
August 28, 2023 19:00 4m 11s
pages build and deployment pages-build-deployment #60: by github-pages bot
August 28, 2023 18:06 34s
August 28, 2023 18:06 34s
fix: better Syntax.dump Build, test, and doc update #139: Pull request #18 synchronize by favonia
August 28, 2023 17:55 8m 49s fix-pp
fix-pp
August 28, 2023 17:55 8m 49s
ci: also test OCaml 5.0 Build, test, and doc update #138: Commit 8f22423 pushed by favonia
August 28, 2023 17:55 11m 13s main
main
August 28, 2023 17:55 11m 13s
fix: better Syntax.dump Build, test, and doc update #137: Pull request #18 opened by favonia
August 28, 2023 17:54 9m 37s fix-pp
fix-pp
August 28, 2023 17:54 9m 37s