Skip to content

Actions: ocaml/ocaml

Actions

Hygiene

Actions

Loading...
Loading

Showing runs from all workflows named Hygiene
3,792 workflow run results
3,792 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Hygiene #18033: Pull request #13416 synchronize by dra27
57s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
57s
Test for C++ API compatibility using GCC and MSVC SARIF diagnostics Hygiene #18032: Pull request #14421 synchronize by MisterDA
1m 11s MisterDA:cxx-api-compat
MisterDA:cxx-api-compat
1m 11s
Test for C++ API compatibility using GCC and MSVC SARIF diagnostics Hygiene #18031: Pull request #14421 synchronize by MisterDA
49s MisterDA:cxx-api-compat
MisterDA:cxx-api-compat
49s
Moved a match outside of an if in typetexp Hygiene #18030: Pull request #14422 opened by samsa1
55s samsa1:simplify-if-typetexp
samsa1:simplify-if-typetexp
55s
Test for C++ API compatibility using GCC and MSVC SARIF diagnostics Hygiene #18029: Pull request #14421 opened by MisterDA
1m 19s MisterDA:cxx-api-compat
MisterDA:cxx-api-compat
1m 19s
Merge pull request #14420 from dra27/unpin-cygwin Hygiene #18028: Commit 2f4a572 pushed by gasche
2m 23s trunk
trunk
2m 23s
AppVeyor - unpin Cygwin version Hygiene #18027: Pull request #14420 labeled by dra27
57s dra27:unpin-cygwin
dra27:unpin-cygwin
57s
AppVeyor - unpin Cygwin version Hygiene #18026: Pull request #14420 labeled by dra27
57s dra27:unpin-cygwin
dra27:unpin-cygwin
57s
AppVeyor - unpin Cygwin version Hygiene #18025: Pull request #14420 opened by dra27
1m 54s dra27:unpin-cygwin
dra27:unpin-cygwin
1m 54s
Merge pull request #14417 from lthls/rewrite-pack-prefixes Hygiene #18024: Commit a889724 pushed by gasche
2m 21s trunk
trunk
2m 21s
Add Idle phase for the major GC Hygiene #18023: Pull request #14365 synchronize by damiendoligez
55s damiendoligez:add-idle-phase
damiendoligez:add-idle-phase
55s
Add Idle phase for the major GC Hygiene #18022: Pull request #14365 synchronize by damiendoligez
1m 2s damiendoligez:add-idle-phase
damiendoligez:add-idle-phase
1m 2s
Add Idle phase for the major GC Hygiene #18021: Pull request #14365 synchronize by damiendoligez
1m 9s damiendoligez:add-idle-phase
damiendoligez:add-idle-phase
1m 9s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Hygiene #18020: Pull request #13416 synchronize by MisterDA
1m 5s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
1m 5s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Hygiene #18019: Pull request #13416 labeled by dra27
1m 3s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
1m 3s
Use WinAPI concurrency primitives on Windows ports (remove winpthreads) Hygiene #18018: Pull request #13416 synchronize by MisterDA
1m 9s MisterDA:winpthreadsectomy
MisterDA:winpthreadsectomy
1m 9s
Relocatable OCaml - to opam and beyond Hygiene #18017: Pull request #14246 synchronize by dra27
2m 53s dra27:opam-install-file
dra27:opam-install-file
2m 53s
Relocatable OCaml - to opam and beyond Hygiene #18016: Pull request #14246 synchronize by dra27
2m 15s dra27:opam-install-file
dra27:opam-install-file
2m 15s
Relocatable OCaml - to opam and beyond Hygiene #18015: Pull request #14246 synchronize by dra27
2m 19s dra27:opam-install-file
dra27:opam-install-file
2m 19s
Merge pull request #14416 from dijkstracula/nathan/domains_inherit_ba… Hygiene #18014: Commit d627617 pushed by gasche
2m 22s trunk
trunk
2m 22s
feat: Domains inherit backtrace_enabled Hygiene #18013: Pull request #14416 synchronize by dijkstracula
1m 14s dijkstracula:nathan/domains_inherit_backtrace
dijkstracula:nathan/domains_inherit_backtrace
1m 14s
Merge pull request #14414 from MisterDA/msvc-asan Hygiene #18011: Commit 0de4c35 pushed by gasche
2m 25s trunk
trunk
2m 25s
Towards enabling AddressSanitizer on MSVC Hygiene #18010: Pull request #14414 labeled by gasche
1m 4s MisterDA:msvc-asan
MisterDA:msvc-asan
1m 4s
feat: Domains inherit backtrace_enabled Hygiene #18009: Pull request #14416 labeled by gasche
1m 5s dijkstracula:nathan/domains_inherit_backtrace
dijkstracula:nathan/domains_inherit_backtrace
1m 5s
feat: Domains inherit backtrace_enabled Hygiene #18008: Pull request #14416 synchronize by dijkstracula
1m 7s dijkstracula:nathan/domains_inherit_backtrace
dijkstracula:nathan/domains_inherit_backtrace
1m 7s