Skip to content

Actions: imandra-ai/batrpc

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gh-pages.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable protobuf regeneration during normal library use github pages #35: Commit 721c828 pushed by c-cube
August 2, 2024 13:49 7m 42s main
main
August 2, 2024 13:49 7m 42s
Merge pull request #6 from imandra-ai/simon/use-imandrakit-pr-6 github pages #34: Commit 3094f17 pushed by c-cube
May 30, 2024 20:01 6m 35s main
main
May 30, 2024 20:01 6m 35s
feat client: expose the current connection state github pages #33: Commit f4c76a7 pushed by c-cube
April 29, 2024 17:29 6m 45s main
main
April 29, 2024 17:29 6m 45s
format github pages #32: Commit 74aeae6 pushed by c-cube
April 15, 2024 18:38 7m 36s main
main
April 15, 2024 18:38 7m 36s
fix github pages #31: Commit c058b6b pushed by c-cube
April 5, 2024 19:27 2m 48s main
main
April 5, 2024 19:27 2m 48s
refactor: update recv/sent metrics directly in framing github pages #30: Commit 3d69f70 pushed by c-cube
April 5, 2024 19:26 2m 12s main
main
April 5, 2024 19:26 2m 12s
feat: use imandrakit.metrics for net statistics github pages #29: Commit 1cf7323 pushed by c-cube
April 5, 2024 19:13 2m 7s main
main
April 5, 2024 19:13 2m 7s
make Framing.config use zlib by default github pages #28: Commit 11b43ed pushed by c-cube
April 5, 2024 17:46 3m 14s main
main
April 5, 2024 17:46 3m 14s
debug github pages #27: Commit 1fc3b88 pushed by c-cube
April 4, 2024 18:26 3m 33s main
main
April 4, 2024 18:26 3m 33s
check for body-size github pages #26: Commit 132ac2c pushed by c-cube
April 4, 2024 17:25 2m 52s main
main
April 4, 2024 17:25 2m 52s
chore: remove pin-depends on moonpool github pages #25: Commit bc5323b pushed by c-cube
April 4, 2024 16:34 2m 46s main
main
April 4, 2024 16:34 2m 46s
mtime and trace are not depopts anymore github pages #24: Commit 31f913f pushed by c-cube
April 4, 2024 16:18 3m 23s main
main
April 4, 2024 16:18 3m 23s
feat: add framing config, to enable/disable zlib compression github pages #23: Commit a0c36dd pushed by c-cube
April 4, 2024 16:17 2m 50s main
main
April 4, 2024 16:17 2m 50s
more error checking github pages #22: Commit b143fcf pushed by c-cube
April 2, 2024 20:07 4m 49s main
main
April 2, 2024 20:07 4m 49s
debug github pages #21: Commit 4e522b8 pushed by c-cube
April 2, 2024 19:17 3m 13s main
main
April 2, 2024 19:17 3m 13s
debug github pages #20: Commit c03565d pushed by c-cube
April 2, 2024 19:02 3m 9s main
main
April 2, 2024 19:02 3m 9s
avoid using id=0 for requests github pages #19: Commit 159e8f3 pushed by c-cube
April 2, 2024 19:00 3m 10s main
main
April 2, 2024 19:00 3m 10s
debug github pages #18: Commit 6ca79e3 pushed by c-cube
April 2, 2024 18:03 2m 45s main
main
April 2, 2024 18:03 2m 45s
add Encoding.pp github pages #17: Commit 9afa135 pushed by c-cube
April 2, 2024 17:56 3m 50s main
main
April 2, 2024 17:56 3m 50s
Merge pull request #4 from imandra-ai/wip-simpler-client-server-split github pages #16: Commit e98786d pushed by c-cube
April 2, 2024 16:29 2m 56s main
main
April 2, 2024 16:29 2m 56s
Merge pull request #3 from imandra-ai/wip-imandrakit github pages #15: Commit 34d29f1 pushed by c-cube
March 26, 2024 19:10 6m 14s main
main
March 26, 2024 19:10 6m 14s
docs github pages #14: Commit 7f15389 pushed by c-cube
March 13, 2024 14:48 2m 45s main
main
March 13, 2024 14:48 2m 45s
re-export batrpc_core.handler github pages #13: Commit b9d06b2 pushed by c-cube
March 13, 2024 14:39 2m 26s main
main
March 13, 2024 14:39 2m 26s
chore: correctly set bound for OTEL to >= 0.8 github pages #12: Commit c0419ed pushed by c-cube
March 13, 2024 14:30 5m 35s main
main
March 13, 2024 14:30 5m 35s
chore: remove iostream from vendor github pages #11: Commit e693272 pushed by c-cube
March 5, 2024 18:59 2m 27s main
main
March 5, 2024 18:59 2m 27s