Skip to content

Actions: imandra-ai/batrpc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add doc gen to CI Build and Test #55: Commit d40125a pushed by c-cube
February 29, 2024 15:19 2m 26s main
main
February 29, 2024 15:19 2m 26s
add doc gen to CI github pages #4: Commit d40125a pushed by c-cube
February 29, 2024 15:19 2m 18s main
main
February 29, 2024 15:19 2m 18s
fix for iostream 0.2 Build and Test #54: Commit 3eb1999 pushed by c-cube
February 28, 2024 15:06 2m 49s main
main
February 28, 2024 15:06 2m 49s
fixes Build and Test #53: Commit 753909f pushed by c-cube
February 26, 2024 16:47 2m 8s main
main
February 26, 2024 16:47 2m 8s
chore: submodules in CI Build and Test #52: Commit 2bc7cb2 pushed by c-cube
February 26, 2024 15:19 1m 40s main
main
February 26, 2024 15:19 1m 40s
fully migrate to iostream Build and Test #51: Commit 640a78b pushed by c-cube
February 26, 2024 15:09 1m 53s main
main
February 26, 2024 15:09 1m 53s
RPC: carry around a hmap for context Build and Test #50: Commit e6e9f50 pushed by c-cube
February 26, 2024 14:41 2m 31s main
main
February 26, 2024 14:41 2m 31s
expose server handler Build and Test #49: Commit 9fae87b pushed by c-cube
February 21, 2024 19:13 3m 5s main
main
February 21, 2024 19:13 3m 5s
feat: make body_size optional in meta message Build and Test #48: Commit 6a0a295 pushed by c-cube
February 16, 2024 23:44 2m 19s main
main
February 16, 2024 23:44 2m 19s
Merge pull request #2 from imandra-ai/wip-json-wire-encoding Build and Test #47: Commit 1200e15 pushed by c-cube
February 16, 2024 21:49 2m 26s main
main
February 16, 2024 21:49 2m 26s
JSON wire encoding Build and Test #46: Pull request #2 synchronize by c-cube
February 16, 2024 21:47 2m 24s wip-json-wire-encoding
wip-json-wire-encoding
February 16, 2024 21:47 2m 24s
JSON wire encoding Build and Test #45: Pull request #2 synchronize by c-cube
February 16, 2024 21:43 2m 14s wip-json-wire-encoding
wip-json-wire-encoding
February 16, 2024 21:43 2m 14s
JSON wire encoding Build and Test #44: Pull request #2 synchronize by c-cube
February 16, 2024 21:37 1m 51s wip-json-wire-encoding
wip-json-wire-encoding
February 16, 2024 21:37 1m 51s
JSON wire encoding Build and Test #43: Pull request #2 opened by c-cube
February 16, 2024 21:34 1m 49s wip-json-wire-encoding
wip-json-wire-encoding
February 16, 2024 21:34 1m 49s
chore: dune Build and Test #42: Commit 2ca5cab pushed by c-cube
February 16, 2024 16:40 1m 58s main
main
February 16, 2024 16:40 1m 58s
avoid silent error in timer Build and Test #41: Commit 30b7d49 pushed by c-cube
February 15, 2024 20:56 54s main
main
February 15, 2024 20:56 54s
add batrpc-otel package Build and Test #40: Commit 2299d7f pushed by c-cube
February 15, 2024 14:38 1m 59s main
main
February 15, 2024 14:38 1m 59s
have default make targets ignore promoted rules Build and Test #39: Commit c03c584 pushed by c-cube
February 15, 2024 04:38 2m 8s main
main
February 15, 2024 04:38 2m 8s
require runner in tcp client Build and Test #38: Commit 11a2299 pushed by c-cube
February 14, 2024 19:41 2m 16s main
main
February 14, 2024 19:41 2m 16s
expose rpcconn functions Build and Test #37: Commit f0a08b0 pushed by c-cube
February 14, 2024 19:34 2m 19s main
main
February 14, 2024 19:34 2m 19s
bufferize IO channels Build and Test #36: Commit c14a599 pushed by c-cube
February 14, 2024 19:31 2m 32s main
main
February 14, 2024 19:31 2m 32s
feat IO: shutdown sockets, remove OCaml's channels from the mix Build and Test #35: Commit 774c705 pushed by c-cube
February 13, 2024 21:10 10m 26s main
main
February 13, 2024 21:10 10m 26s
close noerr Build and Test #34: Commit 9fefc38 pushed by c-cube
February 13, 2024 20:58 2m 6s main
main
February 13, 2024 20:58 2m 6s
tracing Build and Test #33: Commit df6ceb6 pushed by c-cube
February 13, 2024 20:53 2m 9s main
main
February 13, 2024 20:53 2m 9s
logging Build and Test #32: Commit 350de8f pushed by c-cube
February 13, 2024 20:42 2m 27s main
main
February 13, 2024 20:42 2m 27s