Skip to content

Actions: imandra-ai/ocaml-opentelemetry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #67: by github-pages bot
September 20, 2024 16:15 27s
September 20, 2024 16:15 27s
CI build #522: Commit 5dd6809 pushed by c-cube
September 20, 2024 16:08 6m 12s main
main
September 20, 2024 16:08 6m 12s
CI github pages #154: Commit 5dd6809 pushed by c-cube
September 20, 2024 16:08 6m 41s main
main
September 20, 2024 16:08 6m 41s
CI build #521: Commit d1adc9c pushed by c-cube
September 20, 2024 13:28 3m 11s main
main
September 20, 2024 13:28 3m 11s
CI github pages #153: Commit d1adc9c pushed by c-cube
September 20, 2024 13:28 1m 43s main
main
September 20, 2024 13:28 1m 43s
format github pages #152: Commit 7629e41 pushed by c-cube
September 20, 2024 13:22 1m 42s main
main
September 20, 2024 13:22 1m 42s
format build #520: Commit 7629e41 pushed by c-cube
September 20, 2024 13:22 3m 38s main
main
September 20, 2024 13:22 3m 38s
Add events to spans created build #519: Commit 242d304 pushed by c-cube
September 20, 2024 12:24 3m 24s main
main
September 20, 2024 12:24 3m 24s
Add events to spans created github pages #151: Commit 242d304 pushed by c-cube
September 20, 2024 12:24 1m 48s main
main
September 20, 2024 12:24 1m 48s
add url to error log build #518: Commit d6d36ee pushed by c-cube
September 20, 2024 12:16 7m 23s main
main
September 20, 2024 12:16 7m 23s
add url to error log github pages #150: Commit d6d36ee pushed by c-cube
September 20, 2024 12:16 5m 1s main
main
September 20, 2024 12:16 5m 1s
Add events to spans created in trace frontend build #517: Pull request #62 opened by ajbt200128
September 19, 2024 00:13 7m 24s ajbt200128:add_events_to_span
ajbt200128:add_events_to_span
September 19, 2024 00:13 7m 24s
add url to error log build #516: Pull request #61 opened by tatchi
September 18, 2024 15:00 8m 50s tatchi:add-url-to-log
tatchi:add-url-to-log
September 18, 2024 15:00 8m 50s
pages build and deployment pages-build-deployment #66: by github-pages bot
September 6, 2024 14:35 27s
September 6, 2024 14:35 27s
Merge pull request #59 from imandra-ai/simon/inline-ambient-context build #515: Commit c372c45 pushed by c-cube
September 6, 2024 14:29 7m 7s main
main
September 6, 2024 14:29 7m 7s
Merge pull request #59 from imandra-ai/simon/inline-ambient-context github pages #149: Commit c372c45 pushed by c-cube
September 6, 2024 14:29 6m 29s main
main
September 6, 2024 14:29 6m 29s
simon/inline ambient context build #514: Pull request #59 opened by c-cube
September 6, 2024 13:52 7m 34s simon/inline-ambient-context
simon/inline-ambient-context
September 6, 2024 13:52 7m 34s
prepare for 0.10 build #513: Commit b4a9ccf pushed by c-cube
August 13, 2024 13:35 3m 32s main
main
August 13, 2024 13:35 3m 32s
prepare for 0.10 github pages #148: Commit b4a9ccf pushed by c-cube
August 13, 2024 13:35 1m 56s main
main
August 13, 2024 13:35 1m 56s
Merge pull request #56 from tatchi/tatchi/per-signals-url github pages #147: Commit 4f6cf08 pushed by c-cube
August 12, 2024 14:15 1m 58s main
main
August 12, 2024 14:15 1m 58s
Merge pull request #56 from tatchi/tatchi/per-signals-url build #512: Commit 4f6cf08 pushed by c-cube
August 12, 2024 14:15 3m 27s main
main
August 12, 2024 14:15 3m 27s
add support for per-signal urls build #511: Pull request #56 synchronize by tatchi
August 9, 2024 06:17 4m 16s tatchi:tatchi/per-signals-url
tatchi:tatchi/per-signals-url
August 9, 2024 06:17 4m 16s
Merge pull request #58 from imandra-ai/matt/mmcs github pages #146: Commit ea684b0 pushed by mattjbray
August 8, 2024 10:19 1m 38s main
main
August 8, 2024 10:19 1m 38s
Merge pull request #58 from imandra-ai/matt/mmcs build #510: Commit ea684b0 pushed by mattjbray
August 8, 2024 10:19 3m 12s main
main
August 8, 2024 10:19 3m 12s
fix(gha): try --solver=mccs build #509: Pull request #58 synchronize by mattjbray
August 8, 2024 10:14 3m 5s matt/mmcs
matt/mmcs
August 8, 2024 10:14 3m 5s