Skip to content

Actions: RedPRL/ocaml-bwd

Actions

Build, test, and doc update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename append and prepend to append_list and prepend_list, add Bwd.append Build, test, and doc update #125: Pull request #32 opened by TOTBWF
December 18, 2024 23:38 6m 30s TOTBWF:append
TOTBWF:append
December 18, 2024 23:38 6m 30s
docs: add LLVM exceptions to our Apache 2.0 licensing Build, test, and doc update #124: Pull request #30 opened by favonia
September 29, 2024 00:28 6m 8s add-llvm-exceptions
add-llvm-exceptions
September 29, 2024 00:28 6m 8s
docs(CONTRIBUTORS): add Emmanuel (#28) Build, test, and doc update #123: Commit 2b02c6e pushed by favonia
November 19, 2023 19:14 5m 16s main
main
November 19, 2023 19:14 5m 16s
docs(CONTRIBUTORS): add Emmanuel Build, test, and doc update #122: Pull request #28 opened by favonia
November 19, 2023 17:45 5m 45s add-emmanuel
add-emmanuel
November 19, 2023 17:45 5m 45s
Unroll map, mapi, and map2, and init (#27) Build, test, and doc update #121: Commit 4cdf6ab pushed by favonia
November 14, 2023 02:30 12m 4s main
main
November 14, 2023 02:30 12m 4s
Unroll map, mapi, and map2, and init Build, test, and doc update #120: Pull request #27 synchronize by emmanueljs1
November 14, 2023 01:37 5m 18s emmanueljs1:unroll
emmanueljs1:unroll
November 14, 2023 01:37 5m 18s
Unroll map, mapi, and map2, and init Build, test, and doc update #118: Pull request #27 synchronize by emmanueljs1
November 13, 2023 20:12 6m 11s emmanueljs1:unroll
emmanueljs1:unroll
November 13, 2023 20:12 6m 11s
Unroll map, mapi, and map2, and init Build, test, and doc update #117: Pull request #27 synchronize by emmanueljs1
November 13, 2023 18:18 9m 54s emmanueljs1:unroll
emmanueljs1:unroll
November 13, 2023 18:18 9m 54s
feat: make fold_right_map tail-recursive (#26) Build, test, and doc update #115: Commit fbf496b pushed by favonia
October 22, 2023 03:35 6m 27s main
main
October 22, 2023 03:35 6m 27s
feat: make fold_right_map tail-recursive Build, test, and doc update #114: Pull request #26 opened by favonia
October 22, 2023 03:29 7m 14s make-fold_right_map-recursive
make-fold_right_map-recursive
October 22, 2023 03:29 7m 14s
feat: make partition and partition_map tail-recursive (#25) Build, test, and doc update #113: Commit 89710d7 pushed by favonia
October 22, 2023 03:23 7m 20s main
main
October 22, 2023 03:23 7m 20s
feat: make partition and partition_map tail-recursive Build, test, and doc update #112: Pull request #25 synchronize by favonia
October 22, 2023 03:03 6m 20s tail-recursive-partition
tail-recursive-partition
October 22, 2023 03:03 6m 20s
feat: make partition and partition_map tail-recursive Build, test, and doc update #111: Pull request #25 opened by favonia
October 22, 2023 03:00 6m 44s tail-recursive-partition
tail-recursive-partition
October 22, 2023 03:00 6m 44s
docs: document what is not tail-recursive Build, test, and doc update #110: Commit 1babd01 pushed by favonia
October 22, 2023 02:53 6m 20s main
main
October 22, 2023 02:53 6m 20s
ci: use OCaml 5.1 Build, test, and doc update #109: Commit 922d2d8 pushed by favonia
October 21, 2023 13:28 13m 3s main
main
October 21, 2023 13:28 13m 3s
docs: remove init from the "Missing" list Build, test, and doc update #108: Commit c67c8bf pushed by favonia
October 20, 2023 03:44 6m 54s main
main
October 20, 2023 03:44 6m 54s
docs: fix various issues Build, test, and doc update #107: Commit 76bf4e7 pushed by favonia
October 20, 2023 02:37 6m 58s main
main
October 20, 2023 02:37 6m 58s
docs(CHANGELOG): prepare for 2.3.0 Build, test, and doc update #106: Commit 0b09301 pushed by favonia
October 20, 2023 02:32 7m 15s main
main
October 20, 2023 02:32 7m 15s
test: fix the dummy init implementation Build, test, and doc update #105: Commit cc45965 pushed by favonia
October 20, 2023 02:25 7m 23s main
main
October 20, 2023 02:25 7m 23s
feat: add is_empty, find_index, find_mapi (#21) Build, test, and doc update #104: Commit 10bec85 pushed by favonia
October 20, 2023 02:22 6m 53s main
main
October 20, 2023 02:22 6m 53s
feat: add is_empty, find_index, find_mapi Build, test, and doc update #103: Pull request #21 opened by favonia
October 20, 2023 02:13 7m 9s sync-with-ocaml5.1
sync-with-ocaml5.1
October 20, 2023 02:13 7m 9s
feat: add init (#20) Build, test, and doc update #102: Commit 22c52bc pushed by favonia
October 20, 2023 02:03 6m 19s main
main
October 20, 2023 02:03 6m 19s
feat: add init Build, test, and doc update #101: Pull request #20 opened by favonia
October 20, 2023 01:26 7m 18s add-init
add-init
October 20, 2023 01:26 7m 18s
test: avoid the deprecated small_int Build, test, and doc update #100: Commit 9930253 pushed by favonia
October 19, 2023 23:29 7m 10s main
main
October 19, 2023 23:29 7m 10s
docs: better organized documentation Build, test, and doc update #99: Commit abe9c7b pushed by favonia
October 17, 2023 17:05 6m 30s main
main
October 17, 2023 17:05 6m 30s