Skip to content

Actions: RedPRL/mugen

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: add LLVM exceptions to Apache 2.0 licensing Build, test, and doc update #161: Commit a3db714 pushed by favonia
September 29, 2024 00:09 6m 50s main
main
September 29, 2024 00:09 6m 50s
docs: fix a typo Build, test, and doc update #160: Commit 523677b pushed by favonia
May 30, 2024 20:01 3m 22s main
main
May 30, 2024 20:01 3m 22s
docs: various minor updates Build, test, and doc update #159: Commit 6ec3a0d pushed by favonia
May 30, 2024 17:23 3m 22s main
main
May 30, 2024 17:23 3m 22s
docs: tweak the tutorial Build, test, and doc update #158: Commit f76bf6a pushed by favonia
May 30, 2024 17:14 3m 19s main
main
May 30, 2024 17:14 3m 19s
docs: first edition of tutorial (#21) Build, test, and doc update #157: Commit f0aab59 pushed by favonia
May 30, 2024 17:05 5m 7s main
main
May 30, 2024 17:05 5m 7s
docs: start working on the "tutorial" Build, test, and doc update #156: Pull request #21 synchronize by favonia
May 30, 2024 17:04 3m 31s docs
docs
May 30, 2024 17:04 3m 31s
docs: start working on the "tutorial" Build, test, and doc update #155: Pull request #21 synchronize by favonia
May 30, 2024 16:34 3m 11s docs
docs
May 30, 2024 16:34 3m 11s
docs: start working on the "tutorial" Build, test, and doc update #154: Pull request #21 synchronize by favonia
May 30, 2024 12:37 3m 57s docs
docs
May 30, 2024 12:37 3m 57s
Update OCaml versions Build, test, and doc update #153: Commit 100ab57 pushed by favonia
May 30, 2024 12:31 6m 55s main
main
May 30, 2024 12:31 6m 55s
docs: start working on the "tutorial" Build, test, and doc update #152: Pull request #21 synchronize by favonia
May 30, 2024 12:30 3m 3s docs
docs
May 30, 2024 12:30 3m 3s
docs: start working on the "tutorial" Build, test, and doc update #151: Pull request #21 synchronize by favonia
May 30, 2024 05:38 2m 59s docs
docs
May 30, 2024 05:38 2m 59s
docs: start working on the "tutorial" Build, test, and doc update #150: Pull request #21 synchronize by favonia
May 29, 2024 19:58 3m 18s docs
docs
May 29, 2024 19:58 3m 18s
docs: start working on the "tutorial" Build, test, and doc update #149: Pull request #21 synchronize by favonia
May 29, 2024 19:55 4m 19s docs
docs
May 29, 2024 19:55 4m 19s
docs: start working on the "tutorial" Build, test, and doc update #148: Pull request #21 synchronize by favonia
May 29, 2024 19:53 6m 4s docs
docs
May 29, 2024 19:53 6m 4s
docs: start working on the "tutorial" Build, test, and doc update #147: Pull request #21 opened by favonia
May 29, 2024 19:51 6m 25s docs
docs
May 29, 2024 19:51 6m 25s
docs(README): revise the README Build, test, and doc update #146: Commit 25bb458 pushed by favonia
January 4, 2024 17:16 6m 14s main
main
January 4, 2024 17:16 6m 14s
docs: add CONTRIBUTING.markdown Build, test, and doc update #145: Commit 1978c8a pushed by favonia
November 19, 2023 17:49 9m 51s main
main
November 19, 2023 17:49 9m 51s
docs(CONTRIBUTORS): actually use Markdown Build, test, and doc update #144: Commit e5c9a17 pushed by favonia
October 3, 2023 00:58 11m 34s main
main
October 3, 2023 00:58 11m 34s
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
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