Skip to content

Actions: c-cube/ocaml-trace

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
172 workflow runs
172 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #15: by github-pages bot
March 8, 2024 17:14 37s
March 8, 2024 17:14 37s
prepare for 0.7 github pages #20: Commit 62063f3 pushed by c-cube
March 8, 2024 17:11 2m 32s main
main
March 8, 2024 17:11 2m 32s
prepare for 0.7 Build and Test #139: Commit 62063f3 pushed by c-cube
March 8, 2024 17:11 2m 30s main
main
March 8, 2024 17:11 2m 30s
pages build and deployment pages-build-deployment #14: by github-pages bot
March 8, 2024 16:51 37s
March 8, 2024 16:51 37s
fixes: check for dummy spans in some operations Build and Test #138: Commit e76a977 pushed by c-cube
March 8, 2024 16:45 5m 33s main
main
March 8, 2024 16:45 5m 33s
fixes: check for dummy spans in some operations github pages #19: Commit e76a977 pushed by c-cube
March 8, 2024 16:45 5m 53s main
main
March 8, 2024 16:45 5m 53s
feat: add levels to Trace_core. Build and Test #137: Pull request #29 synchronize by c-cube
March 7, 2024 16:43 2m 22s wip-levels
wip-levels
March 7, 2024 16:43 2m 22s
feat: add levels to Trace_core. Build and Test #136: Pull request #29 synchronize by c-cube
March 5, 2024 20:29 2m 52s wip-levels
wip-levels
March 5, 2024 20:29 2m 52s
feat: add levels to Trace_core. Build and Test #135: Pull request #29 synchronize by c-cube
March 5, 2024 20:28 1m 57s wip-levels
wip-levels
March 5, 2024 20:28 1m 57s
pages build and deployment pages-build-deployment #13: by github-pages bot
March 1, 2024 20:21 58s
March 1, 2024 20:21 58s
feat: add levels to Trace_core. Build and Test #134: Pull request #29 synchronize by c-cube
March 1, 2024 20:18 3m 13s wip-levels
wip-levels
March 1, 2024 20:18 3m 13s
fix in trace-tef now that meta-map can raise Invalid_arg github pages #18: Commit d0e1597 pushed by c-cube
March 1, 2024 20:18 3m 42s main
main
March 1, 2024 20:18 3m 42s
fix in trace-tef now that meta-map can raise Invalid_arg Build and Test #133: Commit d0e1597 pushed by c-cube
March 1, 2024 20:18 3m 50s main
main
March 1, 2024 20:18 3m 50s
feat: add levels to Trace_core. Build and Test #132: Pull request #29 synchronize by c-cube
February 26, 2024 03:21 5m 29s wip-levels
wip-levels
February 26, 2024 03:21 5m 29s
pages build and deployment pages-build-deployment #12: by github-pages bot
February 26, 2024 03:18 44s
February 26, 2024 03:18 44s
feat: add levels to Trace_core. github pages #17: Pull request #29 opened by c-cube
February 26, 2024 03:16 2m 4s wip-levels
wip-levels
February 26, 2024 03:16 2m 4s
feat: add levels to Trace_core. Build and Test #131: Pull request #29 opened by c-cube
February 26, 2024 03:16 2m 41s wip-levels
wip-levels
February 26, 2024 03:16 2m 41s
add hmap as a depopt (#28) Build and Test #130: Commit 3c2f804 pushed by c-cube
February 24, 2024 16:33 2m 30s main
main
February 24, 2024 16:33 2m 30s
add hmap as a depopt (#28) github pages #16: Commit 3c2f804 pushed by c-cube
February 24, 2024 16:33 2m 32s main
main
February 24, 2024 16:33 2m 32s
pages build and deployment pages-build-deployment #11: by github-pages bot
February 24, 2024 16:31 47s
February 24, 2024 16:31 47s
add hmap as a depopt Build and Test #129: Pull request #28 synchronize by c-cube
February 24, 2024 16:29 2m 34s wip-hmap-depopt
wip-hmap-depopt
February 24, 2024 16:29 2m 34s
add hmap as a depopt github pages #15: Pull request #28 synchronize by c-cube
February 24, 2024 16:29 2m 0s wip-hmap-depopt
wip-hmap-depopt
February 24, 2024 16:29 2m 0s
add hmap as a depopt github pages #14: Pull request #28 synchronize by c-cube
February 24, 2024 16:27 1m 49s wip-hmap-depopt
wip-hmap-depopt
February 24, 2024 16:27 1m 49s
add hmap as a depopt Build and Test #128: Pull request #28 synchronize by c-cube
February 24, 2024 16:27 1m 55s wip-hmap-depopt
wip-hmap-depopt
February 24, 2024 16:27 1m 55s
add hmap as a depopt Build and Test #127: Pull request #28 synchronize by c-cube
February 24, 2024 16:22 2m 5s wip-hmap-depopt
wip-hmap-depopt
February 24, 2024 16:22 2m 5s