Skip to content

Actions: imandra-ai/ocaml-tracy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

format
build #72: Commit 38748ea pushed by c-cube
October 29, 2024 13:15 6m 28s main
October 29, 2024 13:15 6m 28s
prepare for 0.5.1
build #71: Commit 484415e pushed by c-cube
September 17, 2024 19:20 5m 57s main
September 17, 2024 19:20 5m 57s
build
build #70: by c-cube
September 17, 2024 19:15 6m 13s v0.5.1
September 17, 2024 19:15 6m 13s
more lenient trace bound
build #69: Commit 9ff3af8 pushed by c-cube
August 29, 2024 15:21 2m 50s main
August 29, 2024 15:21 2m 50s
prepare for 0.5
build #68: Commit f85e90d pushed by c-cube
August 27, 2024 14:28 2m 59s main
August 27, 2024 14:28 2m 59s
build
build #67: by c-cube
August 26, 2024 17:18 2m 58s v0.5
August 26, 2024 17:18 2m 58s
fix stubs
build #66: Commit b461e71 pushed by c-cube
August 26, 2024 16:38 7m 9s main
August 26, 2024 16:38 7m 9s
compat trace 0.6
build #65: Commit dcbc007 pushed by c-cube
January 30, 2024 21:50 5m 59s main
January 30, 2024 21:50 5m 59s
wip: support frame API
build #64: Pull request #3 synchronize by c-cube
December 18, 2023 04:04 5m 47s wip-frame
December 18, 2023 04:04 5m 47s
compat with trace
build #63: Commit 8f069c9 pushed by c-cube
December 18, 2023 04:04 6m 0s wip-frame
December 18, 2023 04:04 6m 0s
faster CI
build #62: Commit 6d4412a pushed by c-cube
December 8, 2023 19:53 2m 40s main
December 8, 2023 19:53 2m 40s
prepare for 0.4
build #61: Commit f7f4c27 pushed by c-cube
December 8, 2023 19:52 7m 53s main
December 8, 2023 19:52 7m 53s
build
build #60: by c-cube
December 6, 2023 15:20 8m 22s v0.4
December 6, 2023 15:20 8m 22s
wip: support frame API
build #59: Pull request #3 opened by c-cube
November 28, 2023 20:44 8m 28s wip-frame
November 28, 2023 20:44 8m 28s
compat with trace
build #58: Commit 28ff8b5 pushed by c-cube
November 28, 2023 20:44 8m 29s wip-frame
November 28, 2023 20:44 8m 29s
tracy 0.10
build #57: Commit 62643ce pushed by c-cube
November 10, 2023 15:02 12m 54s main
November 10, 2023 15:02 12m 54s
prepare for 0.3
build #56: Commit f548ede pushed by c-cube
October 11, 2023 20:07 8m 18s main
October 11, 2023 20:07 8m 18s
build
build #55: by c-cube
October 11, 2023 18:50 8m 8s v0.3
October 11, 2023 18:50 8m 8s
update opam
build #54: Commit 89a1879 pushed by c-cube
October 11, 2023 18:49 8m 22s main
October 11, 2023 18:49 8m 22s
adapt for trace 0.4
build #53: Commit 23d85a5 pushed by c-cube
October 11, 2023 15:29 9m 42s main
October 11, 2023 15:29 9m 42s
bump
build #52: Commit 8c893df pushed by c-cube
September 14, 2023 16:06 13m 18s main
September 14, 2023 16:06 13m 18s