Skip to content

Actions: imandra-ai/ocaml-opentelemetry

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

support trace 0.6 build #466: Pull request #52 synchronize by c-cube
February 9, 2024 19:59 3m 17s wip-trace-0.6
wip-trace-0.6
February 9, 2024 19:59 3m 17s
support trace 0.6 build #465: Pull request #52 opened by c-cube
February 9, 2024 19:47 2m 39s wip-trace-0.6
wip-trace-0.6
February 9, 2024 19:47 2m 39s
chore: compat with trace 0.6 build #464: Commit b9f574d pushed by c-cube
February 9, 2024 19:37 3m 1s main
main
February 9, 2024 19:37 3m 1s
chore: compat with trace 0.6 build #463: Commit 12d5c24 pushed by c-cube
February 9, 2024 19:36 2m 51s main
main
February 9, 2024 19:36 2m 51s
chore: make sure we don't depend on ocaml-protoc for regular build build #462: Commit 81d2d5c pushed by c-cube
February 7, 2024 19:47 6m 32s main
main
February 7, 2024 19:47 6m 32s
Merge pull request #49 from imandra-ai/wip-perf-2023-12-20 build #461: Commit b95eb21 pushed by c-cube
December 21, 2023 13:51 2m 53s main
main
December 21, 2023 13:51 2m 53s
perf and features build #460: Pull request #49 synchronize by c-cube
December 21, 2023 13:28 3m 1s wip-perf-2023-12-20
wip-perf-2023-12-20
December 21, 2023 13:28 3m 1s
perf and features build #459: Pull request #49 opened by c-cube
December 20, 2023 21:14 3m 20s wip-perf-2023-12-20
wip-perf-2023-12-20
December 20, 2023 21:14 3m 20s
Merge pull request #48 from imandra-ai/wip-protoc-3.0 build #458: Commit 47f7f1d pushed by c-cube
December 20, 2023 19:00 6m 25s main
main
December 20, 2023 19:00 6m 25s
use ocaml-protoc 3.0.x build #457: Pull request #48 synchronize by c-cube
December 15, 2023 01:49 2m 52s wip-protoc-3.0
wip-protoc-3.0
December 15, 2023 01:49 2m 52s
use ocaml-protoc 3.0.x build #456: Pull request #48 synchronize by c-cube
December 14, 2023 15:13 2m 42s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:13 2m 42s
chore: add upper bound on pbrt build #455: Commit e53cffb pushed by c-cube
December 14, 2023 15:13 8m 17s main
main
December 14, 2023 15:13 8m 17s
use ocaml-protoc 3.0.x build #454: Pull request #48 synchronize by c-cube
December 14, 2023 15:06 6m 31s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:06 6m 31s
CI build #453: Commit 2fd3fac pushed by c-cube
December 14, 2023 15:06 6m 57s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:06 6m 57s
use ocaml-protoc 3.0.x build #452: Pull request #48 synchronize by c-cube
December 14, 2023 15:03 5m 28s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:03 5m 28s
CI build #451: Commit 2a8d23b pushed by c-cube
December 14, 2023 15:03 5m 11s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:03 5m 11s
use ocaml-protoc 3.0.x build #450: Pull request #48 synchronize by c-cube
December 14, 2023 15:00 2m 37s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:00 2m 37s
CI build #449: Commit e3110b7 pushed by c-cube
December 14, 2023 15:00 2m 36s wip-protoc-3.0
wip-protoc-3.0
December 14, 2023 15:00 2m 36s
use ocaml-protoc 3.0.x build #448: Pull request #48 synchronize by c-cube
December 12, 2023 00:21 4m 44s wip-protoc-3.0
wip-protoc-3.0
December 12, 2023 00:21 4m 44s
CI build #447: Commit 4aab1cd pushed by c-cube
December 12, 2023 00:21 4m 28s wip-protoc-3.0
wip-protoc-3.0
December 12, 2023 00:21 4m 28s
use ocaml-protoc 3.0.x build #446: Pull request #48 synchronize by c-cube
December 11, 2023 22:14 5m 27s wip-protoc-3.0
wip-protoc-3.0
December 11, 2023 22:14 5m 27s
fast CI build #445: Commit f552211 pushed by c-cube
December 11, 2023 22:14 5m 1s wip-protoc-3.0
wip-protoc-3.0
December 11, 2023 22:14 5m 1s
use ocaml-protoc 3.0.x build #444: Pull request #48 opened by c-cube
December 11, 2023 21:52 4m 40s wip-protoc-3.0
wip-protoc-3.0
December 11, 2023 21:52 4m 40s
use ocaml-protoc 3.0.1 for codegen build #443: Commit f63df22 pushed by c-cube
December 11, 2023 21:52 4m 49s wip-protoc-3.0
wip-protoc-3.0
December 11, 2023 21:52 4m 49s
Add debug-wrapping backend build #442: Pull request #44 synchronize by ELLIOTTCABLE
December 6, 2023 20:11 5m 20s ELLIOTTCABLE:debugging-backend
ELLIOTTCABLE:debugging-backend
December 6, 2023 20:11 5m 20s