Skip to content

Actions: ocsigen/js_of_ocaml

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build: dune alias for js and wasm build #3416: Pull request #1760 synchronize by hhugo
December 9, 2024 14:27 23m 47s dune-alias
dune-alias
December 9, 2024 14:27 23m 47s
Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3415: Pull request #1461 synchronize by vouillon
December 9, 2024 13:47 23m 8s OlivierNicole:optim_effects
OlivierNicole:optim_effects
December 9, 2024 13:47 23m 8s
Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3414: Pull request #1461 synchronize by vouillon
December 9, 2024 13:21 26m 45s OlivierNicole:optim_effects
OlivierNicole:optim_effects
December 9, 2024 13:21 26m 45s
Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3413: Pull request #1461 synchronize by vouillon
December 9, 2024 12:35 18m 50s OlivierNicole:optim_effects
OlivierNicole:optim_effects
December 9, 2024 12:35 18m 50s
[draft] Implement the popover API. build #3412: Pull request #1734 synchronize by hhugo
December 9, 2024 11:47 34m 32s SylvainBoilard:master
SylvainBoilard:master
December 9, 2024 11:47 34m 32s
Runtime: no longer use arguments build #3411: Pull request #1740 synchronize by hhugo
December 9, 2024 11:46 27m 53s noArguments
noArguments
December 9, 2024 11:46 27m 53s
Build: dune alias for js and wasm build #3410: Pull request #1760 synchronize by hhugo
December 9, 2024 11:43 23m 45s dune-alias
dune-alias
December 9, 2024 11:43 23m 45s
Build: dune alias for js and wasm build #3409: Pull request #1760 synchronize by hhugo
December 9, 2024 11:22 20m 16s dune-alias
dune-alias
December 9, 2024 11:22 20m 16s
Build: dune alias for js and wasm build #3408: Pull request #1760 synchronize by hhugo
December 9, 2024 10:52 23m 13s dune-alias
dune-alias
December 9, 2024 10:52 23m 13s
Misc: remove unused files build #3407: Commit e0ec46e pushed by hhugo
December 9, 2024 10:47 25m 40s master
master
December 9, 2024 10:47 25m 40s
Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3406: Pull request #1461 synchronize by vouillon
December 9, 2024 10:13 26m 8s OlivierNicole:optim_effects
OlivierNicole:optim_effects
December 9, 2024 10:13 26m 8s
Misc: remove unused files build #3405: Pull request #1761 opened by hhugo
December 9, 2024 08:33 23m 15s cleanfiles
cleanfiles
December 9, 2024 08:33 23m 15s
Build: dune alias for js and wasm build #3404: Pull request #1760 synchronize by hhugo
December 9, 2024 08:14 20m 14s dune-alias
dune-alias
December 9, 2024 08:14 20m 14s
build build #3403: Scheduled
December 9, 2024 01:34 22m 6s master
master
December 9, 2024 01:34 22m 6s
Build: dune alias for js and wasm build #3402: Pull request #1760 synchronize by hhugo
December 8, 2024 21:38 17m 9s dune-alias
dune-alias
December 8, 2024 21:38 17m 9s
Build: dune alias for js and wasm build #3401: Pull request #1760 synchronize by hhugo
December 8, 2024 21:30 19m 44s dune-alias
dune-alias
December 8, 2024 21:30 19m 44s
Build: dune alias for js and wasm build #3400: Pull request #1760 synchronize by hhugo
December 8, 2024 11:28 24m 57s dune-alias
dune-alias
December 8, 2024 11:28 24m 57s
Build: dune alias for js and wasm build #3399: Pull request #1760 synchronize by hhugo
December 7, 2024 22:43 19m 15s dune-alias
dune-alias
December 7, 2024 22:43 19m 15s
Build: dune alias for js and wasm build #3398: Pull request #1760 synchronize by hhugo
December 7, 2024 12:47 16m 37s dune-alias
dune-alias
December 7, 2024 12:47 16m 37s
Build: dune alias for js and wasm build #3397: Pull request #1760 synchronize by hhugo
December 7, 2024 11:34 15m 44s dune-alias
dune-alias
December 7, 2024 11:34 15m 44s
Build: dune alias for js and wasm build #3396: Pull request #1760 synchronize by hhugo
December 7, 2024 11:19 16m 11s dune-alias
dune-alias
December 7, 2024 11:19 16m 11s
Build: dune alias for js and wasm build #3395: Pull request #1760 synchronize by hhugo
December 6, 2024 15:49 19m 2s dune-alias
dune-alias
December 6, 2024 15:49 19m 2s
Build: dune alias for js and wasm build #3394: Pull request #1760 synchronize by hhugo
December 6, 2024 15:26 18m 48s dune-alias
dune-alias
December 6, 2024 15:26 18m 48s
Effects: double translation of functions and dynamic switching between direct-style and CPS code build #3393: Pull request #1461 synchronize by OlivierNicole
December 6, 2024 14:59 26m 32s OlivierNicole:optim_effects
OlivierNicole:optim_effects
December 6, 2024 14:59 26m 32s
Build: dune alias for js and wasm build #3392: Pull request #1760 synchronize by hhugo
December 6, 2024 14:17 18m 19s dune-alias
dune-alias
December 6, 2024 14:17 18m 19s