Skip to content

Actions: imandra-ai/ocaml-opentelemetry

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: run on 5.0; run on every branch push
build #390: Commit c915730 pushed by c-cube
September 1, 2023 03:44 12m 4s master
September 1, 2023 03:44 12m 4s
CI: run on 5.0; run on every branch push
github pages #116: Commit c915730 pushed by c-cube
September 1, 2023 03:44 5m 21s master
September 1, 2023 03:44 5m 21s
url remove trailing slash (continued)
build #389: Pull request #42 synchronize by c-cube
September 1, 2023 03:32 9m 53s url-remove-trailing-slash
September 1, 2023 03:32 9m 53s
CI: run on 5.0; run on every branch push
build #388: Commit e56865d pushed by c-cube
September 1, 2023 03:32 11m 45s url-remove-trailing-slash
September 1, 2023 03:32 11m 45s
url remove trailing slash (continued)
build #387: Pull request #42 opened by c-cube
September 1, 2023 03:30 6m 40s url-remove-trailing-slash
September 1, 2023 03:30 6m 40s
shorter name for the instrumentation library
github pages #115: Commit e2af52e pushed by c-cube
August 30, 2023 19:34 19m 47s master
August 30, 2023 19:34 19m 47s
shorter name for the instrumentation library
build #386: Commit e2af52e pushed by c-cube
August 30, 2023 19:34 6m 38s master
August 30, 2023 19:34 6m 38s
get_url returns url from config if provided
build #378: Pull request #40 opened by tatchi
August 28, 2023 18:54 8m 28s tatchi:get_url_test
August 28, 2023 18:54 8m 28s
compat with trace 0.3
build #377: Pull request #36 synchronize by c-cube
August 28, 2023 16:17 7m 14s wip-trace-0.3
August 28, 2023 16:17 7m 14s
remove trailing slash from url
build #376: Pull request #38 opened by tatchi
August 28, 2023 15:21 6m 43s tatchi:url-remove-trailing-slash
August 28, 2023 15:21 6m 43s
pages build and deployment
pages-build-deployment #53: by github-pages bot
August 28, 2023 14:46 53s gh-pages
August 28, 2023 14:46 53s
use named signals
build #375: Commit 9ba1719 pushed by c-cube
August 28, 2023 14:37 13m 56s master
August 28, 2023 14:37 13m 56s
use named signals
github pages #114: Commit 9ba1719 pushed by c-cube
August 28, 2023 14:37 9m 50s master
August 28, 2023 14:37 9m 50s
use named signals
build #374: Pull request #37 opened by tatchi
August 26, 2023 05:07 12m 15s tatchi:use-named-signals
August 26, 2023 05:07 12m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-08-26 or the other filters available.