Skip to content

Actions: ocsigen/js_of_ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,250 workflow runs
2,250 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PoC: Propagate arity between compilation units Check changelog #2417: Pull request #1594 synchronize by hhugo
October 24, 2024 08:18 1m 17s shapes
shapes
October 24, 2024 08:18 1m 17s
Text encode decode Check changelog #2416: Pull request #1645 synchronize by hhugo
October 24, 2024 07:16 1m 13s text-encode-decode
text-encode-decode
October 24, 2024 07:16 1m 13s
Text encode decode build #3179: Pull request #1645 synchronize by hhugo
October 24, 2024 07:16 22m 56s text-encode-decode
text-encode-decode
October 24, 2024 07:16 22m 56s
PoC: Propagate arity between compilation units build #3178: Pull request #1594 synchronize by hhugo
October 23, 2024 22:35 30m 56s shapes
shapes
October 23, 2024 22:35 30m 56s
PoC: Propagate arity between compilation units Check changelog #2415: Pull request #1594 synchronize by hhugo
October 23, 2024 22:35 1m 18s shapes
shapes
October 23, 2024 22:35 1m 18s
Don't leak channels. Check changelog #2414: Pull request #1601 labeled by hhugo
October 23, 2024 21:24 7m 35s better-chan
better-chan
October 23, 2024 21:24 7m 35s
Runtime: use monomorphic representation for MlBytes Check changelog #2413: Pull request #1229 synchronize by hhugo
October 23, 2024 21:23 1m 5s refactor-mlbytes
refactor-mlbytes
October 23, 2024 21:23 1m 5s
Runtime: use monomorphic representation for MlBytes build #3177: Pull request #1229 synchronize by hhugo
October 23, 2024 21:23 32m 59s refactor-mlbytes
refactor-mlbytes
October 23, 2024 21:23 32m 59s
Text encode decode Check changelog #2412: Pull request #1645 synchronize by hhugo
October 23, 2024 21:12 1m 14s text-encode-decode
text-encode-decode
October 23, 2024 21:12 1m 14s
Text encode decode build #3176: Pull request #1645 synchronize by hhugo
October 23, 2024 21:12 32m 24s text-encode-decode
text-encode-decode
October 23, 2024 21:12 32m 24s
Don't leak channels. build #3175: Pull request #1601 synchronize by hhugo
October 23, 2024 21:07 31m 43s better-chan
better-chan
October 23, 2024 21:07 31m 43s
Don't leak channels. Check changelog #2411: Pull request #1601 synchronize by hhugo
October 23, 2024 21:07 1m 14s better-chan
better-chan
October 23, 2024 21:07 1m 14s
Remove location from instructions build #3174: Commit 9315996 pushed by hhugo
October 23, 2024 17:14 31m 8s master
master
October 23, 2024 17:14 31m 8s
Remove location from instructions Check changelog #2410: Pull request #1717 synchronize by hhugo
October 23, 2024 17:13 1m 24s source-maps-clean-up
source-maps-clean-up
October 23, 2024 17:13 1m 24s
Remove location from instructions build #3173: Pull request #1717 synchronize by hhugo
October 23, 2024 17:13 25m 38s source-maps-clean-up
source-maps-clean-up
October 23, 2024 17:13 25m 38s
Compiler: more cleanup in parse_bytecode build #3172: Commit 41382a7 pushed by hhugo
October 23, 2024 17:09 30m 5s master
master
October 23, 2024 17:09 30m 5s
Remove location from instructions build #3171: Pull request #1717 synchronize by vouillon
October 23, 2024 16:20 25m 6s source-maps-clean-up
source-maps-clean-up
October 23, 2024 16:20 25m 6s
Source map improvements Check changelog #2409: Pull request #1716 synchronize by vouillon
October 23, 2024 16:14 1m 15s source-maps
source-maps
October 23, 2024 16:14 1m 15s
Source map improvements build #3170: Pull request #1716 synchronize by vouillon
October 23, 2024 16:14 22m 43s source-maps
source-maps
October 23, 2024 16:14 22m 43s
Source map improvements build #3169: Pull request #1716 synchronize by hhugo
October 23, 2024 15:25 24m 23s source-maps
source-maps
October 23, 2024 15:25 24m 23s
Source map improvements Check changelog #2408: Pull request #1716 synchronize by hhugo
October 23, 2024 15:25 1m 15s source-maps
source-maps
October 23, 2024 15:25 1m 15s
Source map improvements Check changelog #2407: Pull request #1716 synchronize by hhugo
October 23, 2024 15:16 1m 19s source-maps
source-maps
October 23, 2024 15:16 1m 19s
Source map improvements build #3168: Pull request #1716 synchronize by hhugo
October 23, 2024 15:16 23m 7s source-maps
source-maps
October 23, 2024 15:16 23m 7s
Source map improvements build #3167: Pull request #1716 synchronize by vouillon
October 23, 2024 14:35 22m 47s source-maps
source-maps
October 23, 2024 14:35 22m 47s
Source map improvements Check changelog #2406: Pull request #1716 synchronize by vouillon
October 23, 2024 14:35 1m 15s source-maps
source-maps
October 23, 2024 14:35 1m 15s