Skip to content

Actions: RedPRL/kado

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: add CONTRIBUTING.markdown Build, test, and doc update #77: Commit 6aa3ede pushed by favonia
November 19, 2023 17:50 7m 40s main
main
November 19, 2023 17:50 7m 40s
style: avoid *Labels Build, test, and doc update #76: Commit 6242a4c pushed by favonia
November 5, 2023 10:41 7m 30s main
main
November 5, 2023 10:41 7m 30s
docs(CONTRIBUTORS): actually use Markdown Build, test, and doc update #75: Commit 6b2e9ba pushed by favonia
October 3, 2023 02:09 11m 15s main
main
October 3, 2023 02:09 11m 15s
build(deps): bump actions/checkout from 3 to 4 (#14) Build, test, and doc update #74: Commit 493f6e9 pushed by favonia
September 4, 2023 22:49 5m 39s main
main
September 4, 2023 22:49 5m 39s
build(deps): bump actions/checkout from 3 to 4 Build, test, and doc update #73: Pull request #14 opened by dependabot bot
September 4, 2023 20:08 4m 21s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 20:08 4m 21s
docs: fix typo Build, test, and doc update #72: Commit 65573a1 pushed by favonia
August 30, 2023 03:03 3m 53s main
main
August 30, 2023 03:03 3m 53s
fix: adjust signatures to hide parameters (#13) Build, test, and doc update #71: Commit 17206ca pushed by favonia
August 30, 2023 02:56 4m 43s main
main
August 30, 2023 02:56 4m 43s
fix: adjust signatures to hide parameters Build, test, and doc update #70: Pull request #13 opened by favonia
August 30, 2023 02:48 4m 29s worship-substitution
worship-substitution
August 30, 2023 02:48 4m 29s
docs(Syntax): fix type variables and one function document Build, test, and doc update #69: Commit afe9b79 pushed by favonia
August 29, 2023 07:04 3m 43s main
main
August 29, 2023 07:04 3m 43s
docs: fix typo Build, test, and doc update #68: Commit 42346ee pushed by favonia
August 29, 2023 03:20 9m 34s main
main
August 29, 2023 03:20 9m 34s