Skip to content

Actions: ocsigen/js_of_ocaml

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,057 workflow runs
1,057 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3050: Pull request #1461 synchronize by OlivierNicole
October 4, 2024 16:41 27m 43s OlivierNicole:optim_effects
OlivierNicole:optim_effects
October 4, 2024 16:41 27m 43s
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
[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 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 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 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
[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 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 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 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 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 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 build #3036: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:20 36m 34s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:20 36m 34s
[ci] Add 32bit job for 4.14.2 build #3035: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:19 1s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:19 1s
[ci] Add 32bit job for 4.14.2 build #3034: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:18 1s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:18 1s
[ci] Add 32bit job for 4.14.2 build #3033: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:13 10m 55s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:13 10m 55s
[ci] Add 32bit job for 4.14.2 build #3032: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:12 3m 18s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:12 3m 18s
[ci] Add 32bit job for 4.14.2 build #3031: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:07 8m 29s ejgallego:32ci
ejgallego:32ci
September 30, 2024 18:07 8m 29s
Compiler: fix 32bit build build #3030: Commit 4cf14ca pushed by hhugo
September 30, 2024 18:05 24m 24s master
master
September 30, 2024 18:05 24m 24s
[ci] Add 32bit job for 4.14.2 build #3029: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:50 7m 41s ejgallego:32ci
ejgallego:32ci
September 30, 2024 17:50 7m 41s
Compiler: fix 32bit build build #3028: Pull request #1699 opened by hhugo
September 30, 2024 17:48 23m 40s fix-32
fix-32
September 30, 2024 17:48 23m 40s
[ci] Add 32bit job for 4.14.2 build #3027: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:44 4m 9s ejgallego:32ci
ejgallego:32ci
September 30, 2024 17:44 4m 9s
[ci] Add 32bit job for 4.14.2 build #3026: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:32 5m 55s ejgallego:32ci
ejgallego:32ci
September 30, 2024 17:32 5m 55s