Skip to content

Actions: c-cube/iter

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

faster doc build
build #59: Commit fc69ce4 pushed by c-cube
January 10, 2024 17:55 9m 39s main
January 10, 2024 17:55 9m 39s
faster doc build
build #58: Commit b296e15 pushed by c-cube
January 10, 2024 17:53 9m 48s main
January 10, 2024 17:53 9m 48s
faster CI
build #57: Commit d1af13a pushed by c-cube
January 10, 2024 17:52 9m 40s main
January 10, 2024 17:52 9m 40s
fix CI
build #56: Commit ea751da pushed by c-cube
January 10, 2024 17:49 45s main
January 10, 2024 17:49 45s
faster CI
build #55: Commit 8ce7f94 pushed by c-cube
January 10, 2024 17:45 34s main
January 10, 2024 17:45 34s
fix CI after renaming branch to main
build #54: Commit f0f5396 pushed by c-cube
January 10, 2024 17:45 8m 15s main
January 10, 2024 17:45 8m 15s
reformat
build #53: Commit 399e95b pushed by c-cube
January 9, 2024 22:39 6m 31s master
January 9, 2024 22:39 6m 31s
Update Iter.ml to use mutable fields instead of refs (#44)
build #52: Commit 92d0022 pushed by c-cube
January 9, 2024 22:38 6m 47s master
January 9, 2024 22:38 6m 47s
prepare for 1.8
build #49: Commit 4f47de6 pushed by c-cube
November 16, 2023 04:18 6m 23s master
November 16, 2023 04:18 6m 23s
try to fix CI
build #48: Commit 90e44a5 pushed by c-cube
November 16, 2023 04:03 6m 30s master
November 16, 2023 04:03 6m 30s
try to fix CI
build #47: Commit d1154ad pushed by c-cube
November 16, 2023 03:51 6m 22s master
November 16, 2023 03:51 6m 22s
Update tests/unit/t_iter.ml
build #46: Commit 63c99cf pushed by c-cube
November 16, 2023 03:50 6m 17s master
November 16, 2023 03:50 6m 17s
Add Iter.map_while
build #45: Pull request #43 synchronize by c-cube
November 16, 2023 03:12 2m 42s OlivierNicole:map_while
November 16, 2023 03:12 2m 42s
Add Iter.map_while
build #44: Pull request #43 synchronize by OlivierNicole
November 15, 2023 22:12 2m 41s OlivierNicole:map_while
November 15, 2023 22:12 2m 41s
Add Iter.map_while
build #43: Pull request #43 synchronize by OlivierNicole
November 15, 2023 18:41 4m 3s OlivierNicole:map_while
November 15, 2023 18:41 4m 3s
Add Iter.map_while
build #42: Pull request #43 opened by OlivierNicole
November 15, 2023 10:32 10m 56s OlivierNicole:map_while
November 15, 2023 10:32 10m 56s
fix(map_by_2): Fixed formatting
build #41: Commit 67c46b6 pushed by c-cube
August 5, 2023 01:12 10m 24s master
August 5, 2023 01:12 10m 24s