Skip to content

Actions: c-cube/ocaml-containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare for 3.13.1 Build and Test #585: Commit 836b1a4 pushed by c-cube
December 20, 2023 19:23 2m 23s main
main
December 20, 2023 19:23 2m 23s
boooooost CI Build and Test #584: Commit 9ebfbe1 pushed by c-cube
December 16, 2023 03:40 5m 21s main
main
December 16, 2023 03:40 5m 21s
list: TRMC was in 4.14, we can use it earlier Build and Test #583: Pull request #446 synchronize by c-cube
December 7, 2023 03:05 10m 34s wip-more-trmc-4.14
wip-more-trmc-4.14
December 7, 2023 03:05 10m 34s
list: TRMC was in 4.14, we can use it earlier Build and Test #582: Pull request #446 synchronize by c-cube
December 7, 2023 02:05 14m 5s wip-more-trmc-4.14
wip-more-trmc-4.14
December 7, 2023 02:05 14m 5s
list: TRMC was in 4.14, we can use it earlier Build and Test #581: Pull request #446 opened by c-cube
December 7, 2023 01:51 3m 40s wip-more-trmc-4.14
wip-more-trmc-4.14
December 7, 2023 01:51 3m 40s
changelog Build and Test #580: Commit 8b53966 pushed by c-cube
December 6, 2023 14:33 15m 1s main
main
December 6, 2023 14:33 15m 1s
prepare for 3.13 Build and Test #579: Commit 7c1ca1d pushed by c-cube
December 5, 2023 21:10 10m 41s main
main
December 5, 2023 21:10 10m 41s
pages build and deployment pages-build-deployment #81: by c-cube
December 5, 2023 20:53 1m 7s gh-pages
gh-pages
December 5, 2023 20:53 1m 7s
prepare for 3.13 Build and Test #578: Commit 22fe3cc pushed by c-cube
December 5, 2023 20:52 15m 8s main
main
December 5, 2023 20:52 15m 8s
fix stupid bug Build and Test #577: Commit f68d187 pushed by c-cube
December 5, 2023 20:02 9m 25s main
main
December 5, 2023 20:02 9m 25s
tweak tweak tweak Build and Test #576: Commit 4682f97 pushed by c-cube
December 5, 2023 19:35 12m 44s main
main
December 5, 2023 19:35 12m 44s
finish removing threads Build and Test #575: Commit 33053a1 pushed by c-cube
December 5, 2023 18:45 15m 2s main
main
December 5, 2023 18:45 15m 2s
delete containers-thread Build and Test #574: Commit bf2375f pushed by c-cube
December 5, 2023 18:05 4m 8s main
main
December 5, 2023 18:05 4m 8s
delete containers-thread Build and Test #573: Commit 0f1f861 pushed by c-cube
December 5, 2023 18:04 3m 19s main
main
December 5, 2023 18:04 3m 19s
bugfix Build and Test #572: Commit 36790cf pushed by c-cube
December 5, 2023 17:19 7s main
main
December 5, 2023 17:19 7s
ensure unfold is tailrec Build and Test #571: Commit 7fcf269 pushed by c-cube
December 5, 2023 17:05 4m 10s main
main
December 5, 2023 17:05 4m 10s
CCList: add unfold Build and Test #570: Commit 73e68da pushed by c-cube
December 5, 2023 16:59 9m 50s main
main
December 5, 2023 16:59 9m 50s
CCList: add unfold Build and Test #569: Pull request #445 opened by benbellick
December 5, 2023 05:21 11m 10s benbellick:main
benbellick:main
December 5, 2023 05:21 11m 10s
fix for 4.08 Build and Test #568: Commit 50b4783 pushed by c-cube
December 4, 2023 01:03 9m 45s main
main
December 4, 2023 01:03 9m 45s
faster List.flat_map Build and Test #567: Pull request #443 synchronize by c-cube
December 1, 2023 20:09 18m 50s wip-faster-flat-map
wip-faster-flat-map
December 1, 2023 20:09 18m 50s
faster List.flat_map Build and Test #566: Pull request #443 synchronize by c-cube
December 1, 2023 20:01 3m 57s wip-faster-flat-map
wip-faster-flat-map
December 1, 2023 20:01 3m 57s
faster List.flat_map Build and Test #565: Pull request #443 opened by c-cube
December 1, 2023 19:44 3m 50s wip-faster-flat-map
wip-faster-flat-map
December 1, 2023 19:44 3m 50s
CCBool: Add functions if_then and if_then_else Build and Test #564: Commit 77bfa34 pushed by c-cube
November 27, 2023 04:31 18m 8s main
main
November 27, 2023 04:31 18m 8s
remove opam dependencies, broken currently Build and Test #563: Commit fdb7c0f pushed by c-cube
November 27, 2023 04:31 14m 46s main
main
November 27, 2023 04:31 14m 46s
CCBool: Add functions if_then and if_then_else Build and Test #562: Pull request #442 opened by BridgeTheMasterBuilder
November 26, 2023 19:34 11m 20s BridgeTheMasterBuilder:master
BridgeTheMasterBuilder:master
November 26, 2023 19:34 11m 20s