Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: Adding features to support structs and bitfields Check formatting #1778: Pull request #817 synchronize by lfrenot
January 16, 2025 14:25 39s lfrenot:lean-record-features
lfrenot:lean-record-features
January 16, 2025 14:25 39s
Publish test results Publish test results #1785: completed by Alasdair
January 16, 2025 14:21 21s
January 16, 2025 14:21 21s
Sail configuration system Test coverage #1830: Pull request #865 synchronize by Alasdair
January 16, 2025 14:18 23m 15s config
config
January 16, 2025 14:18 23m 15s
Sail configuration system Check formatting #1777: Pull request #865 synchronize by Alasdair
January 16, 2025 14:18 51s config
config
January 16, 2025 14:18 51s
Config: Add assertion to config integer parsing Check formatting #1776: Commit 21a3ad9 pushed by Alasdair
January 16, 2025 14:18 55s config
config
January 16, 2025 14:18 55s
Config: Add assertion to config integer parsing Build matrix #971: Commit 21a3ad9 pushed by Alasdair
January 16, 2025 14:18 7m 16s config
config
January 16, 2025 14:18 7m 16s
Config: Add assertion to config integer parsing Test coverage #1829: Commit 21a3ad9 pushed by Alasdair
January 16, 2025 14:18 22m 38s config
config
January 16, 2025 14:18 22m 38s
feat(ci): add Lean testing in the CI Check formatting #1775: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:15 44s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:15 44s
feat(ci): add Lean testing in the CI Test coverage #1828: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:15 25m 0s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:15 25m 0s
feat(ci): add Lean testing in the CI Test coverage #1827: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:12 Action required RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:12 Action required
feat(ci): add Lean testing in the CI Check formatting #1774: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:12 Action required RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:12 Action required
Publish test results Publish test results #1784: completed by RaitoBezarius
January 16, 2025 14:10 15s
January 16, 2025 14:10 15s
feat(ci): add Lean testing in the CI Check formatting #1773: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:04 36s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:04 36s
feat(ci): add Lean testing in the CI Test coverage #1826: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 14:04 37s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 14:04 37s
Make sure version number gets updated without having to run dune clean Check formatting #1772: Commit 153c7b6 pushed by Alasdair
January 16, 2025 13:59 51s sail2
sail2
January 16, 2025 13:59 51s
Make sure version number gets updated without having to run dune clean Test coverage #1825: Commit 153c7b6 pushed by Alasdair
January 16, 2025 13:59 22m 23s sail2
sail2
January 16, 2025 13:59 22m 23s
Make sure version number gets updated without having to run dune clean Build matrix #970: Commit 153c7b6 pushed by Alasdair
January 16, 2025 13:59 7m 43s sail2
sail2
January 16, 2025 13:59 7m 43s
Publish test results Publish test results #1783: completed by bacam
January 16, 2025 13:58 17s
January 16, 2025 13:58 17s
Publish test results Publish test results #1782: completed by RaitoBezarius
January 16, 2025 13:38 17s
January 16, 2025 13:38 17s
Lean: add placeholder for state monad to stateful functions (#870) Build matrix #969: Commit a1b339a pushed by bacam
January 16, 2025 13:35 7m 21s sail2
sail2
January 16, 2025 13:35 7m 21s
Lean: add placeholder for state monad to stateful functions (#870) Test coverage #1824: Commit a1b339a pushed by bacam
January 16, 2025 13:35 22m 29s sail2
sail2
January 16, 2025 13:35 22m 29s
Lean: add placeholder for state monad to stateful functions (#870) Check formatting #1771: Commit a1b339a pushed by bacam
January 16, 2025 13:35 37s sail2
sail2
January 16, 2025 13:35 37s
feat(ci): add Lean testing in the CI Test coverage #1823: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 13:34 1m 26s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 13:34 1m 26s
feat(ci): add Lean testing in the CI Check formatting #1770: Pull request #871 synchronize by RaitoBezarius
January 16, 2025 13:34 39s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 16, 2025 13:34 39s
Publish test results Publish test results #1781: completed by javra
January 16, 2025 13:34 20s
January 16, 2025 13:34 20s