Skip to content

Actions: imandra-ai/cbor-pack

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tweak output
build #37: Commit 6d2e898 pushed by c-cube
January 5, 2024 00:08 3m 12s main
January 5, 2024 00:08 3m 12s
remove dead code
build #36: Commit 9fbefcc pushed by c-cube
January 5, 2024 00:00 2m 40s main
January 5, 2024 00:00 2m 40s
use cbor-pack.dump in cbpacktk
build #35: Commit f59bce5 pushed by c-cube
January 4, 2024 22:24 2m 40s main
January 4, 2024 22:24 2m 40s
CI: vendor slack action (#4)
build #34: Commit f0f6b54 pushed by c-cube
January 4, 2024 21:53 5m 57s main
January 4, 2024 21:53 5m 57s
CI: vendor slack action
build #33: Pull request #4 synchronize by c-cube
January 4, 2024 21:45 5m 41s wip-ci-2024-01-04_
January 4, 2024 21:45 5m 41s
fix
build #32: Commit 915cbf8 pushed by c-cube
January 4, 2024 21:45 5m 42s wip-ci-2024-01-04_
January 4, 2024 21:45 5m 42s
CI: vendor slack action
build #31: Pull request #4 opened by c-cube
January 4, 2024 21:44 13s wip-ci-2024-01-04_
January 4, 2024 21:44 13s
CI: vendor slack action
build #30: Commit a38e312 pushed by c-cube
January 4, 2024 21:44 16s wip-ci-2024-01-04_
January 4, 2024 21:44 16s
some more CI
build #29: Commit 82c90a9 pushed by c-cube
January 4, 2024 21:17 11s main
January 4, 2024 21:17 11s
CI: faster
build #28: Commit 6cd22ea pushed by c-cube
January 4, 2024 21:13 11s main
January 4, 2024 21:13 11s
CI: better report to slack
build #27: Commit fba2954 pushed by c-cube
January 4, 2024 21:12 13s main
January 4, 2024 21:12 13s
cbpacktk: print a preview of pointers
build #26: Commit 77b18e9 pushed by c-cube
January 4, 2024 20:45 4m 0s main
January 4, 2024 20:45 4m 0s
add cbor-pack-tk package with a dump tool
build #25: Commit 2a226f9 pushed by c-cube
January 4, 2024 19:55 7m 1s main
January 4, 2024 19:55 7m 1s
add Deser.return
build #24: Commit 2a40123 pushed by c-cube
October 13, 2023 16:29 12m 43s main
October 13, 2023 16:29 12m 43s
add fix and delay for Ser and Deser
build #23: Commit a27a5ca pushed by c-cube
September 5, 2023 15:11 6m 14s main
September 5, 2023 15:11 6m 14s
CI
build #22: Commit a75b044 pushed by c-cube
September 5, 2023 13:00 5m 17s main
September 5, 2023 13:00 5m 17s
CI
build #21: Commit 3b65c4f pushed by c-cube
September 5, 2023 12:48 5m 8s main
September 5, 2023 12:48 5m 8s
relax dep on ppxlib
build #20: Commit 99e963c pushed by c-cube
August 31, 2023 17:18 4m 49s main
August 31, 2023 17:18 4m 49s
some doc
build #19: Commit 7e6d017 pushed by c-cube
August 31, 2023 00:20 5m 17s main
August 31, 2023 00:20 5m 17s
readme: document deserialization caching
build #18: Commit af92217 pushed by c-cube
August 30, 2023 20:22 4m 54s main
August 30, 2023 20:22 4m 54s
add test for with_cache
build #17: Commit c6d1b1b pushed by c-cube
August 30, 2023 19:06 10m 37s main
August 30, 2023 19:06 10m 37s