Skip to content

Actions: 0xffea/ocaml-redis

Build redis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare for 0.7.1
Build redis #84: Commit ab1e7ca pushed by c-cube
October 19, 2023 20:07 12m 57s master
October 19, 2023 20:07 12m 57s
remove debug message
Build redis #83: Commit f15c57b pushed by c-cube
October 19, 2023 20:04 14m 3s master
October 19, 2023 20:04 14m 3s
prepare for 0.7
Build redis #82: Commit 9a3edcd pushed by c-cube
October 10, 2023 00:48 9m 16s master
October 10, 2023 00:48 9m 16s
Merge pull request #92 from apeschar/unix-sockets
Build redis #81: Commit 6f4015b pushed by c-cube
October 10, 2023 00:38 11m 31s master
October 10, 2023 00:38 11m 31s
Support connections to Unix domain sockets
Build redis #80: Pull request #92 synchronize by apeschar
October 9, 2023 11:07 10m 58s apeschar:unix-sockets
October 9, 2023 11:07 10m 58s
Support connections to Unix domain sockets
Build redis #79: Pull request #92 synchronize by apeschar
October 9, 2023 10:56 9m 10s apeschar:unix-sockets
October 9, 2023 10:56 9m 10s
ignore deprecation that can't be fixed on 4.03
Build redis #78: Commit ac87920 pushed by c-cube
October 6, 2023 15:55 9m 0s master
October 6, 2023 15:55 9m 0s
fix warnings, add lower bound on containers
Build redis #77: Pull request #93 synchronize by c-cube
October 6, 2023 15:03 9m 11s fix-warnings
October 6, 2023 15:03 9m 11s
make test more explicit
Build redis #76: Commit 400abf1 pushed by c-cube
October 6, 2023 14:51 10m 33s master
October 6, 2023 14:51 10m 33s
makefile
Build redis #75: Commit 3ea69bf pushed by c-cube
October 6, 2023 14:46 9m 53s master
October 6, 2023 14:46 9m 53s
fix warnings, add lower bound on containers
Build redis #74: Pull request #93 opened by c-cube
October 6, 2023 14:44 6m 47s fix-warnings
October 6, 2023 14:44 6m 47s
Merge pull request #75 from 0xffea/wip-pool
Build redis #73: Commit 716b0f1 pushed by c-cube
October 6, 2023 14:40 4m 37s master
October 6, 2023 14:40 4m 37s
implement a connection pool
Build redis #72: Pull request #75 synchronize by c-cube
October 6, 2023 14:24 9m 7s wip-pool
October 6, 2023 14:24 9m 7s
try to fix CI for docs
Build redis #71: Commit a21b734 pushed by c-cube
October 6, 2023 14:08 13m 22s master
October 6, 2023 14:08 13m 22s
Support connections to Unix domain sockets
Build redis #70: Pull request #92 synchronize by c-cube
October 6, 2023 14:05 9m 38s apeschar:unix-sockets
October 6, 2023 14:05 9m 38s
remove nix CI, no one knows how to maintain it and it's always broken
Build redis #69: Commit 97a2d04 pushed by c-cube
October 6, 2023 14:05 28m 6s master
October 6, 2023 14:05 28m 6s
Support connections to Unix domain sockets
Build redis #68: Pull request #92 synchronize by apeschar
September 30, 2023 12:08 13m 12s apeschar:unix-sockets
September 30, 2023 12:08 13m 12s
Support connections to Unix domain sockets
Build redis #67: Pull request #92 opened by apeschar
September 30, 2023 12:03 9m 23s apeschar:unix-sockets
September 30, 2023 12:03 9m 23s