Skip to content

Actions: RedPRL/ocaml-bwd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #53: by github-pages bot
October 20, 2023 02:41 35s
October 20, 2023 02:41 35s
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
pages build and deployment pages-build-deployment #52: by github-pages bot
October 20, 2023 02:26 33s
October 20, 2023 02:26 33s
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
pages build and deployment pages-build-deployment #51: by github-pages bot
October 20, 2023 02:07 32s
October 20, 2023 02:07 32s
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
pages build and deployment pages-build-deployment #50: by github-pages bot
October 17, 2023 17:09 36s
October 17, 2023 17:09 36s
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
feat: add back concat and flatten Build, test, and doc update #98: Pull request #19 synchronize by favonia
October 17, 2023 16:56 7m 12s add-back-concat
add-back-concat
October 17, 2023 16:56 7m 12s
feat: add back concat and flatten Build, test, and doc update #97: Pull request #19 synchronize by favonia
October 17, 2023 16:54 7m 38s add-back-concat
add-back-concat
October 17, 2023 16:54 7m 38s
feat: add back concat and flatten Build, test, and doc update #96: Pull request #19 opened by favonia
October 17, 2023 16:52 6m 19s add-back-concat
add-back-concat
October 17, 2023 16:52 6m 19s
pages build and deployment pages-build-deployment #49: by github-pages bot
October 17, 2023 16:22 36s
October 17, 2023 16:22 36s
pages build and deployment pages-build-deployment #48: by github-pages bot
October 17, 2023 16:21 34s
October 17, 2023 16:21 34s
pages build and deployment pages-build-deployment #47: by github-pages bot
October 17, 2023 16:20 38s
October 17, 2023 16:20 38s
docs: better organized documentation Build, test, and doc update #95: Commit 1753338 pushed by favonia
October 17, 2023 16:11 11m 7s main
main
October 17, 2023 16:11 11m 7s
docs: better documentation Build, test, and doc update #94: Commit 9bcd7d6 pushed by favonia
October 17, 2023 16:11 13m 47s main
main
October 17, 2023 16:11 13m 47s
feat: add inlining instructions Build, test, and doc update #93: Commit 75e1926 pushed by favonia
October 17, 2023 16:10 13m 22s main
main
October 17, 2023 16:10 13m 22s
pages build and deployment pages-build-deployment #46: by github-pages bot
October 3, 2023 01:15 1m 8s
October 3, 2023 01:15 1m 8s
docs(CONTRIBUTORS): really use Markdown Build, test, and doc update #92: Commit 3d780f7 pushed by favonia
October 3, 2023 01:05 12m 38s main
main
October 3, 2023 01:05 12m 38s