Skip to content

Actions: RedPRL/algaeff

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: use effect syntax from OCaml 5.3 Build, test, and doc update #162: Pull request #33 opened by favonia
September 28, 2024 23:37 6m 1s ocaml5.3
ocaml5.3
September 28, 2024 23:37 6m 1s
feat(State): add try_with that overrides handlers (#29) Build, test, and doc update #161: Commit 8de3817 pushed by favonia
July 3, 2024 23:29 7m 21s main
main
July 3, 2024 23:29 7m 21s
feature request: allow caller to override state handlers Build, test, and doc update #160: Pull request #29 synchronize by favonia
July 3, 2024 22:37 6m 37s mikeshulman:handle
mikeshulman:handle
July 3, 2024 22:37 6m 37s
docs: fix small typos (#28) Build, test, and doc update #157: Commit 23b7b16 pushed by favonia
February 23, 2024 16:56 6m 42s main
main
February 23, 2024 16:56 6m 42s
docs: fix small typos Build, test, and doc update #156: Pull request #28 opened by fogti
February 23, 2024 13:26 6m 29s fix-typos
fix-typos
February 23, 2024 13:26 6m 29s
ci: test OCaml 5.1.1 Build, test, and doc update #155: Commit ede14c4 pushed by favonia
December 8, 2023 15:43 6m 24s main
main
December 8, 2023 15:43 6m 24s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #154: Commit 61338ed pushed by favonia
October 31, 2023 20:56 7m 33s main
main
October 31, 2023 20:56 7m 33s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #153: Commit ce15e42 pushed by favonia
October 31, 2023 20:54 7m 42s main
main
October 31, 2023 20:54 7m 42s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #152: Commit 700c04f pushed by favonia
October 31, 2023 20:52 7m 30s main
main
October 31, 2023 20:52 7m 30s
docs(Sigs): fix documentation Build, test, and doc update #151: Commit ce559c2 pushed by favonia
October 31, 2023 15:16 7m 15s main
main
October 31, 2023 15:16 7m 15s
refactor: redo signatures and fix documentation Build, test, and doc update #150: Commit 273453a pushed by favonia
October 31, 2023 15:12 7m 16s main
main
October 31, 2023 15:12 7m 16s
fix!: remove Unmonad (#25) Build, test, and doc update #149: Commit 80dca8d pushed by favonia
October 31, 2023 15:02 7m 11s main
main
October 31, 2023 15:02 7m 11s
fix!: remove Unmonad Build, test, and doc update #148: Pull request #25 opened by favonia
October 31, 2023 13:21 6m 44s remove-unmonad
remove-unmonad
October 31, 2023 13:21 6m 44s
docs(README): declare the versioning policy Build, test, and doc update #147: Commit feba970 pushed by favonia
October 31, 2023 13:05 7m 0s main
main
October 31, 2023 13:05 7m 0s
feat!: alternative API to allow Make(Int) (#24) Build, test, and doc update #146: Commit 79fd268 pushed by favonia
October 31, 2023 13:01 6m 36s main
main
October 31, 2023 13:01 6m 36s
feat!: alternative API to allow Make(Int) Build, test, and doc update #145: Pull request #24 opened by favonia
October 31, 2023 08:28 7m 10s alternative-api
alternative-api
October 31, 2023 08:28 7m 10s
style: simplify the wrapper signature Build, test, and doc update #144: Commit 67fe61b pushed by favonia
October 31, 2023 08:19 13m 8s main
main
October 31, 2023 08:19 13m 8s
docs(CONTRIBUTORS): really use Markdown Build, test, and doc update #143: Commit 6105a4b pushed by favonia
October 3, 2023 01:12 7m 7s main
main
October 3, 2023 01:12 7m 7s
docs(CHANGELOG): 1.1.0 Build, test, and doc update #142: Commit 4d971aa pushed by favonia
October 1, 2023 17:27 6m 47s main
main
October 1, 2023 17:27 6m 47s
docs(CHANGELOG): 1.1.0 Build, test, and doc update #141: Commit c717c97 pushed by favonia
October 1, 2023 17:25 6m 0s main
main
October 1, 2023 17:25 6m 0s
docs: tweaks (#23) Build, test, and doc update #140: Commit 4fd6652 pushed by favonia
September 25, 2023 11:07 6m 42s main
main
September 25, 2023 11:07 6m 42s
docs: tweaks Build, test, and doc update #139: Pull request #23 synchronize by favonia
September 25, 2023 11:07 6m 36s register-printer-for-everyone
register-printer-for-everyone
September 25, 2023 11:07 6m 36s
feat(Mutex): add register_printer (#22) Build, test, and doc update #138: Commit 9bb4788 pushed by favonia
September 24, 2023 11:52 6m 30s main
main
September 24, 2023 11:52 6m 30s
feat(Mutex): add register_printer Build, test, and doc update #137: Pull request #22 synchronize by favonia
September 24, 2023 11:51 6m 8s register-printer-for-everyone
register-printer-for-everyone
September 24, 2023 11:51 6m 8s
feat(Mutex): add register_printer Build, test, and doc update #136: Pull request #22 synchronize by favonia
September 23, 2023 11:47 7m 10s register-printer-for-everyone
register-printer-for-everyone
September 23, 2023 11:47 7m 10s