Skip to content

Actions: imandra-ai/ocaml-tracy

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
26 workflow runs
26 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
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
main
September 17, 2024 19:20 5m 57s
build build #70: by c-cube
September 17, 2024 19:15 6m 13s v0.5.1
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
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
main
August 27, 2024 14:28 2m 59s
build build #67: by c-cube
August 26, 2024 17:18 2m 58s v0.5
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
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
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
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
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
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
main
December 8, 2023 19:52 7m 53s
build build #60: by c-cube
December 6, 2023 15:20 8m 22s v0.4
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
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
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
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
main
October 11, 2023 20:07 8m 18s
build build #55: by c-cube
October 11, 2023 18:50 8m 8s v0.3
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
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
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
main
September 14, 2023 16:06 13m 18s
prepare for 0.2 build #51: Commit fac7e8f pushed by c-cube
August 9, 2023 21:27 2m 56s main
main
August 9, 2023 21:27 2m 56s
build build #50: by c-cube
August 9, 2023 20:50 2m 55s 0.2
0.2
August 9, 2023 20:50 2m 55s
update for trace 0.3 build #49: Commit acbf1d2 pushed by c-cube
August 9, 2023 20:41 8m 29s main
main
August 9, 2023 20:41 8m 29s
handle new trace.core with async events. By ignoring them. build #48: Pull request #2 synchronize by c-cube
August 9, 2023 18:46 8m 12s wip-async
wip-async
August 9, 2023 18:46 8m 12s