Skip to content

Actions: ocsigen/js_of_ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,968 workflow runs
1,968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce number of global names build #3049: Pull request #1696 synchronize by hhugo
October 1, 2024 20:20 24m 12s improve-scope
improve-scope
October 1, 2024 20:20 24m 12s
Reduce number of global names Check changelog #2304: Pull request #1696 synchronize by hhugo
October 1, 2024 20:20 1m 6s improve-scope
improve-scope
October 1, 2024 20:20 1m 6s
[ci] Add 32bit 5.2.0 job build #3048: Pull request #1700 synchronize by ejgallego
October 1, 2024 18:15 23m 20s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 18:15 23m 20s
[ci] Add 32bit 5.2.0 job Check changelog #2303: Pull request #1700 synchronize by ejgallego
October 1, 2024 18:15 1m 8s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 18:15 1m 8s
[ci] Add 32bit 5.2.0 job build #3047: Pull request #1700 synchronize by ejgallego
October 1, 2024 16:43 23m 51s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 16:43 23m 51s
[ci] Add 32bit 5.2.0 job Check changelog #2302: Pull request #1700 synchronize by ejgallego
October 1, 2024 16:43 1m 4s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 16:43 1m 4s
[ci] Add 32bit 5.2.0 job Check changelog #2301: Pull request #1700 synchronize by ejgallego
October 1, 2024 15:37 59s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:37 59s
[ci] Add 32bit 5.2.0 job build #3046: Pull request #1700 synchronize by ejgallego
October 1, 2024 15:37 26m 32s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:37 26m 32s
[ci] Add 32bit 5.2.0 job build #3045: Pull request #1700 synchronize by ejgallego
October 1, 2024 15:30 29m 54s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:30 29m 54s
[ci] Add 32bit 5.2.0 job Check changelog #2300: Pull request #1700 synchronize by ejgallego
October 1, 2024 15:30 7m 18s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:30 7m 18s
[ci] Add 32bit 5.2.0 job build #3044: Pull request #1700 opened by ejgallego
October 1, 2024 15:29 24m 0s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:29 24m 0s
[ci] Add 32bit 5.2.0 job Check changelog #2299: Pull request #1700 opened by ejgallego
October 1, 2024 15:29 1m 23s ejgallego:ci_52_32bit
ejgallego:ci_52_32bit
October 1, 2024 15:29 1m 23s
[tests] [32bit] update tests for 32bit CI build #3043: Commit ef42a56 pushed by hhugo
October 1, 2024 10:38 31m 37s master
master
October 1, 2024 10:38 31m 37s
[ci] Add 32bit job for 4.14.2 Check changelog #2298: Pull request #1698 synchronize by hhugo
October 1, 2024 08:58 1m 2s ejgallego:32ci
ejgallego:32ci
October 1, 2024 08:58 1m 2s
[ci] Add 32bit job for 4.14.2 build #3042: Pull request #1698 synchronize by hhugo
October 1, 2024 08:58 23m 18s ejgallego:32ci
ejgallego:32ci
October 1, 2024 08:58 23m 18s
[ci] Add 32bit job for 4.14.2 Check changelog #2297: Pull request #1698 synchronize by hhugo
October 1, 2024 08:38 1m 9s ejgallego:32ci
ejgallego:32ci
October 1, 2024 08:38 1m 9s
[ci] Add 32bit job for 4.14.2 build #3041: Pull request #1698 synchronize by hhugo
October 1, 2024 08:38 24m 5s ejgallego:32ci
ejgallego:32ci
October 1, 2024 08:38 24m 5s
[ci] Add 32bit job for 4.14.2 Check changelog #2296: Pull request #1698 synchronize by hhugo
September 30, 2024 21:34 1m 0s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:34 1m 0s
[ci] Add 32bit job for 4.14.2 build #3040: Pull request #1698 synchronize by hhugo
September 30, 2024 21:34 23m 21s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:34 23m 21s
[ci] Add 32bit job for 4.14.2 build #3039: Pull request #1698 synchronize by hhugo
September 30, 2024 21:14 20m 38s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:14 20m 38s
[ci] Add 32bit job for 4.14.2 Check changelog #2295: Pull request #1698 synchronize by hhugo
September 30, 2024 21:14 1m 4s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:14 1m 4s
[ci] Add 32bit job for 4.14.2 build #3038: Pull request #1698 synchronize by hhugo
September 30, 2024 21:04 16m 59s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:04 16m 59s
[ci] Add 32bit job for 4.14.2 Check changelog #2294: Pull request #1698 synchronize by hhugo
September 30, 2024 21:04 1m 1s ejgallego:32ci
ejgallego:32ci
September 30, 2024 21:04 1m 1s
[ci] Add 32bit job for 4.14.2 build #3037: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:33 27m 27s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:33 27m 27s
[ci] Add 32bit job for 4.14.2 Check changelog #2293: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:33 1m 3s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:33 1m 3s