Skip to content

Actions: ocsigen/js_of_ocaml

Check changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
883 workflow runs
883 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce number of global names
Check changelog #2304: Pull request #1696 synchronize by hhugo
October 1, 2024 20:20 1m 6s improve-scope
October 1, 2024 20:20 1m 6s
[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
October 1, 2024 18:15 1m 8s
[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
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
October 1, 2024 15:37 59s
[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
October 1, 2024 15:30 7m 18s
[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
October 1, 2024 15:29 1m 23s
[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
October 1, 2024 08:58 1m 2s
[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
October 1, 2024 08:38 1m 9s
[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
September 30, 2024 21:34 1m 0s
[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
September 30, 2024 21:14 1m 4s
[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
September 30, 2024 21:04 1m 1s
[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
September 30, 2024 18:33 1m 3s
[ci] Add 32bit job for 4.14.2
Check changelog #2292: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:20 1m 3s ejgallego:32ci
September 30, 2024 18:20 1m 3s
[ci] Add 32bit job for 4.14.2
Check changelog #2291: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:19 1m 14s ejgallego:32ci
September 30, 2024 18:19 1m 14s
[ci] Add 32bit job for 4.14.2
Check changelog #2290: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:18 4m 59s ejgallego:32ci
September 30, 2024 18:18 4m 59s
[ci] Add 32bit job for 4.14.2
Check changelog #2289: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:13 3m 4s ejgallego:32ci
September 30, 2024 18:13 3m 4s
[ci] Add 32bit job for 4.14.2
Check changelog #2288: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:12 1m 4s ejgallego:32ci
September 30, 2024 18:12 1m 4s
[ci] Add 32bit job for 4.14.2
Check changelog #2287: Pull request #1698 synchronize by ejgallego
September 30, 2024 18:07 1m 14s ejgallego:32ci
September 30, 2024 18:07 1m 14s
[ci] Add 32bit job for 4.14.2
Check changelog #2286: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:50 1m 35s ejgallego:32ci
September 30, 2024 17:50 1m 35s
Compiler: fix 32bit build
Check changelog #2285: Pull request #1699 opened by hhugo
September 30, 2024 17:48 1m 0s fix-32
September 30, 2024 17:48 1m 0s
[ci] Add 32bit job for 4.14.2
Check changelog #2284: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:44 1m 8s ejgallego:32ci
September 30, 2024 17:44 1m 8s
[ci] Add 32bit job for 4.14.2
Check changelog #2283: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:32 4m 2s ejgallego:32ci
September 30, 2024 17:32 4m 2s
[ci] Add 32bit job for 4.14.2
Check changelog #2282: Pull request #1698 synchronize by ejgallego
September 30, 2024 17:32 59s ejgallego:32ci
September 30, 2024 17:32 59s
[ci] Add 32bit job for 4.14.2
Check changelog #2281: Pull request #1698 opened by ejgallego
September 30, 2024 17:31 1m 3s ejgallego:32ci
September 30, 2024 17:31 1m 3s
Reduce number of global names
Check changelog #2280: Pull request #1696 opened by hhugo
September 30, 2024 15:12 56s improve-scope
September 30, 2024 15:12 56s