Skip to content

Actions: ocaml/ocaml

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9,557 workflow runs
9,557 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use quoted strings for chunks of code (multiline strings) Build with MSVC #517: Pull request #13162 opened by MisterDA
May 13, 2024 15:47 28m 25s MisterDA:quoted-strings
MisterDA:quoted-strings
May 13, 2024 15:47 28m 25s
Use quoted strings for chunks of code (multiline strings) Hygiene #12168: Pull request #13162 opened by MisterDA
May 13, 2024 15:47 1m 0s MisterDA:quoted-strings
MisterDA:quoted-strings
May 13, 2024 15:47 1m 0s
Use quoted strings for chunks of code (multiline strings) Build #10816: Pull request #13162 opened by MisterDA
May 13, 2024 15:47 37m 58s MisterDA:quoted-strings
MisterDA:quoted-strings
May 13, 2024 15:47 37m 58s
Use quoted strings for chunks of code (multiline strings) Run testsuite with ThreadSanitizer #876: Pull request #13162 opened by MisterDA
May 13, 2024 15:47 4s MisterDA:quoted-strings
MisterDA:quoted-strings
May 13, 2024 15:47 4s
The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs Run testsuite with ThreadSanitizer #875: Pull request #13154 synchronize by gasche
May 13, 2024 15:31 7s gasche:matching-bug-temporality-heuristic
gasche:matching-bug-temporality-heuristic
May 13, 2024 15:31 7s
The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs Build with MSVC #516: Pull request #13154 synchronize by gasche
May 13, 2024 15:31 15m 40s gasche:matching-bug-temporality-heuristic
gasche:matching-bug-temporality-heuristic
May 13, 2024 15:31 15m 40s
The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs Hygiene #12167: Pull request #13154 synchronize by gasche
May 13, 2024 15:31 56s gasche:matching-bug-temporality-heuristic
gasche:matching-bug-temporality-heuristic
May 13, 2024 15:31 56s
The Pattern-Matching Bug: introduce a temporality heuristic to de-pessimize certain programs Build #10815: Pull request #13154 synchronize by gasche
May 13, 2024 15:31 41m 42s gasche:matching-bug-temporality-heuristic
gasche:matching-bug-temporality-heuristic
May 13, 2024 15:31 41m 42s
The Pattern-Matching Bug: fix totality information Build with MSVC #515: Pull request #13152 synchronize by gasche
May 13, 2024 15:31 15m 7s gasche:matching-bug-fix-totality-3
gasche:matching-bug-fix-totality-3
May 13, 2024 15:31 15m 7s
The Pattern-Matching Bug: remove check_partial Run testsuite with ThreadSanitizer #874: Pull request #13153 synchronize by gasche
May 13, 2024 15:31 6s gasche:matching-bug-remove-check_partial
gasche:matching-bug-remove-check_partial
May 13, 2024 15:31 6s
The Pattern-Matching Bug: fix totality information Hygiene #12166: Pull request #13152 synchronize by gasche
May 13, 2024 15:31 54s gasche:matching-bug-fix-totality-3
gasche:matching-bug-fix-totality-3
May 13, 2024 15:31 54s
The Pattern-Matching Bug: fix totality information Build #10814: Pull request #13152 synchronize by gasche
May 13, 2024 15:31 24m 26s gasche:matching-bug-fix-totality-3
gasche:matching-bug-fix-totality-3
May 13, 2024 15:31 24m 26s
The Pattern-Matching Bug: fix totality information Run testsuite with ThreadSanitizer #873: Pull request #13152 synchronize by gasche
May 13, 2024 15:31 7s gasche:matching-bug-fix-totality-3
gasche:matching-bug-fix-totality-3
May 13, 2024 15:31 7s
The Pattern-Matching Bug: remove check_partial Build with MSVC #514: Pull request #13153 synchronize by gasche
May 13, 2024 15:31 15m 51s gasche:matching-bug-remove-check_partial
gasche:matching-bug-remove-check_partial
May 13, 2024 15:31 15m 51s
The Pattern-Matching Bug: remove check_partial Build #10813: Pull request #13153 synchronize by gasche
May 13, 2024 15:31 32m 10s gasche:matching-bug-remove-check_partial
gasche:matching-bug-remove-check_partial
May 13, 2024 15:31 32m 10s
The Pattern-Matching Bug: remove check_partial Hygiene #12165: Pull request #13153 synchronize by gasche
May 13, 2024 15:31 54s gasche:matching-bug-remove-check_partial
gasche:matching-bug-remove-check_partial
May 13, 2024 15:31 54s
Merge pull request #13138 from gasche/matching-bug-propagate-mut-2 Hygiene #12164: Commit 4fc907d pushed by gasche
May 13, 2024 15:29 2m 44s trunk
trunk
May 13, 2024 15:29 2m 44s
Merge pull request #13138 from gasche/matching-bug-propagate-mut-2 Build #10812: Commit 4fc907d pushed by gasche
May 13, 2024 15:29 18m 8s trunk
trunk
May 13, 2024 15:29 18m 8s
Merge pull request #13138 from gasche/matching-bug-propagate-mut-2 Build with MSVC #513: Commit 4fc907d pushed by gasche
May 13, 2024 15:29 29m 3s trunk
trunk
May 13, 2024 15:29 29m 3s
Memory cleanup at exit Run testsuite with ThreadSanitizer #872: Pull request #12964 synchronize by dustanddreams
May 13, 2024 13:19 3s dustanddreams:memory_cleanup_on_exit
dustanddreams:memory_cleanup_on_exit
May 13, 2024 13:19 3s
Memory cleanup at exit Build #10811: Pull request #12964 synchronize by dustanddreams
May 13, 2024 13:19 19m 21s dustanddreams:memory_cleanup_on_exit
dustanddreams:memory_cleanup_on_exit
May 13, 2024 13:19 19m 21s
Memory cleanup at exit Build with MSVC #512: Pull request #12964 synchronize by dustanddreams
May 13, 2024 13:19 28m 58s dustanddreams:memory_cleanup_on_exit
dustanddreams:memory_cleanup_on_exit
May 13, 2024 13:19 28m 58s
Memory cleanup at exit Hygiene #12163: Pull request #12964 synchronize by dustanddreams
May 13, 2024 13:19 59s dustanddreams:memory_cleanup_on_exit
dustanddreams:memory_cleanup_on_exit
May 13, 2024 13:19 59s
runtime/array.c: blitting from flat to non-flat is not supported (#13… Build #10810: Commit d87e21f pushed by gasche
May 13, 2024 13:06 18m 4s trunk
trunk
May 13, 2024 13:06 18m 4s
runtime/array.c: blitting from flat to non-flat is not supported (#13… Hygiene #12162: Commit d87e21f pushed by gasche
May 13, 2024 13:06 2m 40s trunk
trunk
May 13, 2024 13:06 2m 40s