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

Publish test results Publish test results #1817: completed by ineol
January 18, 2025 16:09 27s
January 18, 2025 16:09 27s
Lean: add support for range types Check formatting #1806: Pull request #869 synchronize by ineol
January 18, 2025 15:46 1m 42s ineol:lean-ranges
ineol:lean-ranges
January 18, 2025 15:46 1m 42s
Lean: add support for range types Test coverage #1859: Pull request #869 synchronize by ineol
January 18, 2025 15:46 23m 2s ineol:lean-ranges
ineol:lean-ranges
January 18, 2025 15:46 23m 2s
Publish test results Publish test results #1816: completed by lfrenot
January 17, 2025 15:50 25s
January 17, 2025 15:50 25s
Lean: add support for register definitions Test coverage #1858: Pull request #894 opened by lfrenot
January 17, 2025 15:27 22m 16s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 17, 2025 15:27 22m 16s
Lean: add support for register definitions Check formatting #1805: Pull request #894 opened by lfrenot
January 17, 2025 15:27 1m 42s lfrenot:lean-register-clean
lfrenot:lean-register-clean
January 17, 2025 15:27 1m 42s
Publish test results Publish test results #1815: completed by lfrenot
January 17, 2025 14:50 21s
January 17, 2025 14:50 21s
Publish test results Publish test results #1814: completed by lfrenot
January 17, 2025 14:48 17s
January 17, 2025 14:48 17s
Lean: add support for register definitions Check formatting #1804: Pull request #880 synchronize by lfrenot
January 17, 2025 14:28 37s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 14:28 37s
Lean: add support for register definitions Test coverage #1857: Pull request #880 synchronize by lfrenot
January 17, 2025 14:28 22m 25s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 14:28 22m 25s
Publish test results Publish test results #1813: completed by bacam
January 17, 2025 14:27 17s
January 17, 2025 14:27 17s
Lean: add support for register definitions Test coverage #1856: Pull request #880 synchronize by lfrenot
January 17, 2025 14:24 23m 45s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 14:24 23m 45s
Lean: add support for register definitions Check formatting #1803: Pull request #880 synchronize by lfrenot
January 17, 2025 14:24 42s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 14:24 42s
Lean: Adding features to support structs and bitfields (#817) Test coverage #1855: Commit f87c292 pushed by bacam
January 17, 2025 14:04 22m 41s sail2
sail2
January 17, 2025 14:04 22m 41s
Lean: Adding features to support structs and bitfields (#817) Check formatting #1802: Commit f87c292 pushed by bacam
January 17, 2025 14:04 1m 29s sail2
sail2
January 17, 2025 14:04 1m 29s
Lean: Adding features to support structs and bitfields (#817) Build matrix #982: Commit f87c292 pushed by bacam
January 17, 2025 14:04 7m 41s sail2
sail2
January 17, 2025 14:04 7m 41s
Publish test results Publish test results #1812: completed by lfrenot
January 17, 2025 12:10 26s
January 17, 2025 12:10 26s
Lean: add support for register definitions Test coverage #1854: Pull request #880 synchronize by lfrenot
January 17, 2025 11:47 22m 48s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 11:47 22m 48s
Lean: add support for register definitions Check formatting #1801: Pull request #880 synchronize by lfrenot
January 17, 2025 11:47 1m 15s lfrenot:lean-register
lfrenot:lean-register
January 17, 2025 11:47 1m 15s
Publish test results Publish test results #1811: completed by Alasdair
January 16, 2025 17:57 22s
January 16, 2025 17:57 22s
Publish test results Publish test results #1810: completed by Alasdair
January 16, 2025 17:57 20s
January 16, 2025 17:57 20s
Publish test results Publish test results #1809: completed by ineol
January 16, 2025 17:43 22s
January 16, 2025 17:43 22s
Sail configuration system Test coverage #1853: Pull request #865 synchronize by Alasdair
January 16, 2025 17:32 25m 46s config
config
January 16, 2025 17:32 25m 46s
Sail configuration system Check formatting #1800: Pull request #865 synchronize by Alasdair
January 16, 2025 17:32 49s config
config
January 16, 2025 17:32 49s
Config: Add assertion to config integer parsing Check formatting #1799: Commit b0e90d3 pushed by Alasdair
January 16, 2025 17:32 47s config
config
January 16, 2025 17:32 47s