Skip to content

Actions: imandra-ai/imandrakit

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
267 workflow runs
267 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tiny fix
Build and Test #267: Commit e30ac18 pushed by c-cube
March 21, 2025 12:11 2m 39s main
March 21, 2025 12:11 2m 39s
feat(trace_async): auto enrichment hooks
Build and Test #266: Commit f6f4504 pushed by c-cube
March 20, 2025 02:51 2m 44s main
March 20, 2025 02:51 2m 44s
fix
Build and Test #265: Commit 1fef4bc pushed by c-cube
March 20, 2025 02:42 2m 33s main
March 20, 2025 02:42 2m 33s
optionals
Build and Test #264: Commit a25e223 pushed by c-cube
March 20, 2025 02:42 2m 43s main
March 20, 2025 02:42 2m 43s
add a bunch of enrich_span functions
Build and Test #263: Commit f04146d pushed by c-cube
March 20, 2025 02:33 2m 27s main
March 20, 2025 02:33 2m 27s
fix metrics: histogram must contain sum
Build and Test #262: Commit 591b61d pushed by c-cube
March 19, 2025 20:01 8m 21s main
March 19, 2025 20:01 8m 21s
remove dangerous FLS stuff
Build and Test #261: Commit 27a5607 pushed by c-cube
March 19, 2025 19:07 3m 9s main
March 19, 2025 19:07 3m 9s
Merge pull request #17 from imandra-ai/simon/synchronous-logger
Build and Test #260: Commit b8b9a83 pushed by c-cube
March 19, 2025 17:23 2m 37s main
March 19, 2025 17:23 2m 37s
sync logger
Build and Test #259: Pull request #17 opened by c-cube
March 19, 2025 16:03 3m 2s simon/synchronous-logger
March 19, 2025 16:03 3m 2s
feat logger: block signals in bg thread
Build and Test #258: Commit 57d58c9 pushed by c-cube
March 18, 2025 13:18 3m 37s main
March 18, 2025 13:18 3m 37s
Add in_channel twine decoder
Build and Test #257: Commit e617d51 pushed by wintersteiger
March 14, 2025 18:57 2m 24s main
March 14, 2025 18:57 2m 24s
Add in_channel twine decoder
Build and Test #256: Pull request #16 synchronize by wintersteiger
March 14, 2025 18:53 2m 36s christoph/twine-file-offset-reader
March 14, 2025 18:53 2m 36s
Add in_channel twine decoder
Build and Test #255: Pull request #16 synchronize by wintersteiger
March 14, 2025 18:35 2m 32s christoph/twine-file-offset-reader
March 14, 2025 18:35 2m 32s
Add in_channel twine decoder
Build and Test #254: Pull request #16 synchronize by wintersteiger
March 14, 2025 18:22 2m 36s christoph/twine-file-offset-reader
March 14, 2025 18:22 2m 36s
Add in_channel twine decoder
Build and Test #253: Pull request #16 synchronize by wintersteiger
March 14, 2025 18:18 3m 22s christoph/twine-file-offset-reader
March 14, 2025 18:18 3m 22s
Add in_channel twine decoder
Build and Test #252: Pull request #16 synchronize by wintersteiger
March 14, 2025 16:17 2m 35s christoph/twine-file-offset-reader
March 14, 2025 16:17 2m 35s
Add in_channel twine decoder
Build and Test #251: Pull request #16 synchronize by wintersteiger
March 14, 2025 12:59 2m 25s christoph/twine-file-offset-reader
March 14, 2025 12:59 2m 25s
Add in_channel twine decoder
Build and Test #250: Pull request #16 opened by wintersteiger
March 14, 2025 12:54 3m 7s christoph/twine-file-offset-reader
March 14, 2025 12:54 3m 7s
add Imandrakit_io.block_signals
Build and Test #249: Commit ea28b4e pushed by c-cube
March 13, 2025 19:45 2m 27s main
March 13, 2025 19:45 2m 27s
block sigchild in popen
Build and Test #248: Commit 93ea848 pushed by c-cube
March 13, 2025 19:06 2m 38s main
March 13, 2025 19:06 2m 38s
feat apool: add init_size option for create
Build and Test #247: Commit 15e4872 pushed by c-cube
March 11, 2025 19:13 2m 41s main
March 11, 2025 19:13 2m 41s
twine requires 64 bits
Build and Test #246: Commit abdedee pushed by c-cube
March 11, 2025 16:03 2m 34s main
March 11, 2025 16:03 2m 34s
fix in twine
Build and Test #245: Commit 2af6896 pushed by c-cube
March 10, 2025 17:10 3m 28s main
March 10, 2025 17:10 3m 28s
test
Build and Test #244: Commit aa0b15e pushed by c-cube
March 10, 2025 16:53 3m 16s main
March 10, 2025 16:53 3m 16s
fix twine: buf in finalize
Build and Test #243: Commit a4d9639 pushed by c-cube
March 6, 2025 15:27 3m 50s main
March 6, 2025 15:27 3m 50s