Skip to content

Actions: ocaml/ocaml

Actions

Build

Actions

Loading...
Loading

Showing runs from all workflows named Build
6,430 workflow run results
6,430 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #14426 from dra27/tidy-unistd Build #15797: Commit 9703b34 pushed by gasche
27m 37s trunk
trunk
27m 37s
Merge pull request #14426 from dra27/tidy-unistd Build with MSVC #5431: Commit 9703b34 pushed by gasche
33m 30s trunk
trunk
33m 30s
Tidy-up the Windows locale settings in runtime/floats.c Build with MSVC #5430: Pull request #10258 synchronize by dra27
56s dra27:tidy-locales
dra27:tidy-locales
56s
Tidy-up the Windows locale settings in runtime/floats.c Build #15796: Pull request #10258 synchronize by dra27
7m 9s dra27:tidy-locales
dra27:tidy-locales
7m 9s
Cache test results of custom Autoconf tests from aclocal.m4 Build #15795: Pull request #13705 synchronize by MisterDA
14m 52s MisterDA:configure-caches
MisterDA:configure-caches
14m 52s
Cache test results of custom Autoconf tests from aclocal.m4 Build with MSVC #5429: Pull request #13705 synchronize by MisterDA
32m 56s MisterDA:configure-caches
MisterDA:configure-caches
32m 56s
Spellchecking hints for module error messages Build #15794: Pull request #14330 synchronize by Octachron
22m 55s Octachron:stable-matching-for-module-error-messages
Octachron:stable-matching-for-module-error-messages
22m 55s
Spellchecking hints for module error messages Build with MSVC #5428: Pull request #14330 synchronize by Octachron
33m 28s Octachron:stable-matching-for-module-error-messages
Octachron:stable-matching-for-module-error-messages
33m 28s
Tidy-up the Windows locale settings in runtime/floats.c Build #15793: Pull request #10258 synchronize by dra27
34m 40s dra27:tidy-locales
dra27:tidy-locales
34m 40s
Tidy-up the Windows locale settings in runtime/floats.c Build with MSVC #5427: Pull request #10258 synchronize by dra27
4m 33s dra27:tidy-locales
dra27:tidy-locales
4m 33s
Compute C dependency information as a side-effect of compilation Build with MSVC #5426: Pull request #14424 synchronize by dra27
1h 11m 40s dra27:faster-deps-9
dra27:faster-deps-9
1h 11m 40s
Compute C dependency information as a side-effect of compilation Build #15792: Pull request #14424 synchronize by dra27
37m 8s dra27:faster-deps-9
dra27:faster-deps-9
37m 8s
feat(typing): polymorphic annotations Build #15791: Pull request #14427 opened by johnyob
19m 55s johnyob:poly-annotations
johnyob:poly-annotations
19m 55s
feat(typing): polymorphic annotations Build with MSVC #5425: Pull request #14427 opened by johnyob
33m 38s johnyob:poly-annotations
johnyob:poly-annotations
33m 38s
Remove unnecessary guards on unistd.h Build with MSVC #5424: Pull request #14426 synchronize by dra27
32m 8s dra27:tidy-unistd
dra27:tidy-unistd
32m 8s
Remove unnecessary guards on unistd.h Build #15790: Pull request #14426 synchronize by dra27
23m 17s dra27:tidy-unistd
dra27:tidy-unistd
23m 17s
Merge pull request #13416 from MisterDA/winpthreadsectomy Build with MSVC #5423: Commit 6fef125 pushed by dra27
33m 4s trunk
trunk
33m 4s
Merge pull request #13416 from MisterDA/winpthreadsectomy Build #15789: Commit 6fef125 pushed by dra27
27m 14s trunk
trunk
27m 14s
Remove unnecessary guards on unistd.h Build with MSVC #5422: Pull request #14426 opened by dra27
2m 19s dra27:tidy-unistd
dra27:tidy-unistd
2m 19s
Remove unnecessary guards on unistd.h Build #15788: Pull request #14426 opened by dra27
6m 4s dra27:tidy-unistd
dra27:tidy-unistd
6m 4s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Build #15787: Pull request #13416 synchronize by MisterDA
35m 45s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
35m 45s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Build with MSVC #5421: Pull request #13416 synchronize by MisterDA
1h 13m 36s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
1h 13m 36s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Build with MSVC #5420: Pull request #13416 synchronize by MisterDA
20m 39s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
20m 39s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Build #15786: Pull request #13416 synchronize by MisterDA
25m 57s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
25m 57s
Moved a match outside of an if in typetexp (#14422) Build #15785: Commit f71c08c pushed by gasche
28m 26s trunk
trunk
28m 26s