Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,460 workflow runs
5,460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #1899: completed by lfrenot
January 28, 2025 15:19 22s
January 28, 2025 15:19 22s
Publish test results Publish test results #1898: completed by lfrenot
January 28, 2025 15:19 18s
January 28, 2025 15:19 18s
Lean: add support for vectors and register vectors Check formatting #1888: Pull request #911 synchronize by lfrenot
January 28, 2025 14:57 49s lfrenot:lean-vector
lfrenot:lean-vector
January 28, 2025 14:57 49s
Lean: add support for vectors and register vectors Test coverage #1941: Pull request #911 synchronize by lfrenot
January 28, 2025 14:57 22m 18s lfrenot:lean-vector
lfrenot:lean-vector
January 28, 2025 14:57 22m 18s
Lean: add support for vectors and register vectors Check formatting #1887: Pull request #911 synchronize by lfrenot
January 28, 2025 14:55 37s lfrenot:lean-vector
lfrenot:lean-vector
January 28, 2025 14:55 37s
Lean: add support for vectors and register vectors Test coverage #1940: Pull request #911 synchronize by lfrenot
January 28, 2025 14:55 23m 28s lfrenot:lean-vector
lfrenot:lean-vector
January 28, 2025 14:55 23m 28s
Publish test results Publish test results #1897: completed by javra
January 28, 2025 13:32 22s
January 28, 2025 13:32 22s
Lean: add type KIds and bool atoms Check formatting #1886: Pull request #914 opened by javra
January 28, 2025 13:09 39s javra:lean/type_kid_atom_bool
javra:lean/type_kid_atom_bool
January 28, 2025 13:09 39s
Lean: add type KIds and bool atoms Test coverage #1939: Pull request #914 opened by javra
January 28, 2025 13:09 23m 9s javra:lean/type_kid_atom_bool
javra:lean/type_kid_atom_bool
January 28, 2025 13:09 23m 9s
Publish test results Publish test results #1896: completed by bacam
January 28, 2025 11:32 18s
January 28, 2025 11:32 18s
Rename the effect type effects for OCaml 5.3 keyword compatibility Test coverage #1938: Commit 3dfd2d2 pushed by bacam
January 28, 2025 11:09 23m 15s sail2
sail2
January 28, 2025 11:09 23m 15s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #1885: Commit 3dfd2d2 pushed by bacam
January 28, 2025 11:09 37s sail2
sail2
January 28, 2025 11:09 37s
Rename the effect type effects for OCaml 5.3 keyword compatibility Build matrix #1003: Commit 3dfd2d2 pushed by bacam
January 28, 2025 11:09 7m 47s sail2
sail2
January 28, 2025 11:09 7m 47s
Publish test results Publish test results #1895: completed by bacam
January 27, 2025 17:32 25s
January 27, 2025 17:32 25s
Lean: fix formatting and arguments for matches (#913) Build matrix #1002: Commit 4e52b82 pushed by bacam
January 27, 2025 17:07 7m 42s sail2
sail2
January 27, 2025 17:07 7m 42s
Lean: fix formatting and arguments for matches (#913) Check formatting #1884: Commit 4e52b82 pushed by bacam
January 27, 2025 17:07 3m 40s sail2
sail2
January 27, 2025 17:07 3m 40s
Lean: fix formatting and arguments for matches (#913) Test coverage #1937: Commit 4e52b82 pushed by bacam
January 27, 2025 17:07 24m 8s sail2
sail2
January 27, 2025 17:07 24m 8s
Publish test results Publish test results #1894: completed by javra
January 27, 2025 17:04 33s
January 27, 2025 17:04 33s
Lean: fix formatting and arguments for matches Test coverage #1936: Pull request #913 opened by javra
January 27, 2025 16:32 32m 1s javra:lean/match2
javra:lean/match2
January 27, 2025 16:32 32m 1s
Lean: fix formatting and arguments for matches Check formatting #1883: Pull request #913 opened by javra
January 27, 2025 16:32 3m 28s javra:lean/match2
javra:lean/match2
January 27, 2025 16:32 3m 28s
Publish test results Publish test results #1893: completed by bacam
January 27, 2025 15:52 39s
January 27, 2025 15:52 39s
Publish test results Publish test results #1892: completed by lfrenot
January 27, 2025 15:42 22s
January 27, 2025 15:42 22s
Publish test results Publish test results #1891: completed by bacam
January 27, 2025 15:40 21s
January 27, 2025 15:40 21s
Publish test results Publish test results #1890: completed by lfrenot
January 27, 2025 15:33 32s
January 27, 2025 15:33 32s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #1882: Pull request #912 opened by bacam
January 27, 2025 15:29 51s bacam:ocaml-5.3-effect-keyword
bacam:ocaml-5.3-effect-keyword
January 27, 2025 15:29 51s