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 #1774: completed by bacam
January 16, 2025 12:08 18s
January 16, 2025 12:08 18s
Lean: add placeholder for state monad to stateful functions Test coverage #1813: Pull request #870 synchronize by javra
January 16, 2025 12:05 22m 42s javra:lean/state
javra:lean/state
January 16, 2025 12:05 22m 42s
Lean: add placeholder for state monad to stateful functions Check formatting #1760: Pull request #870 synchronize by javra
January 16, 2025 12:05 36s javra:lean/state
javra:lean/state
January 16, 2025 12:05 36s
Publish test results Publish test results #1773: completed by lfrenot
January 16, 2025 11:48 26s
January 16, 2025 11:48 26s
add comment listing type quantifiers and constraints Test coverage #1812: Commit 9addae9 pushed by bacam
January 16, 2025 11:46 22m 21s sail2
sail2
January 16, 2025 11:46 22m 21s
add comment listing type quantifiers and constraints Check formatting #1759: Commit 9addae9 pushed by bacam
January 16, 2025 11:46 38s sail2
sail2
January 16, 2025 11:46 38s
add comment listing type quantifiers and constraints Build matrix #967: Commit 9addae9 pushed by bacam
January 16, 2025 11:46 7m 11s sail2
sail2
January 16, 2025 11:46 7m 11s
Lean: Fixing Lean style and wrong definition in Sail.lean Test coverage #1811: Pull request #891 synchronize by lfrenot
January 16, 2025 11:25 22m 52s lfrenot:lean-style-fix
lfrenot:lean-style-fix
January 16, 2025 11:25 22m 52s
Lean: Fixing Lean style and wrong definition in Sail.lean Check formatting #1758: Pull request #891 synchronize by lfrenot
January 16, 2025 11:25 1m 54s lfrenot:lean-style-fix
lfrenot:lean-style-fix
January 16, 2025 11:25 1m 54s
Publish test results Publish test results #1772: completed by lfrenot
January 16, 2025 11:23 26s
January 16, 2025 11:23 26s
Publish test results Publish test results #1771: completed by lfrenot
January 16, 2025 11:10 21s
January 16, 2025 11:10 21s
Lean: Fixing Lean style and wrong definition in Sail.lean Test coverage #1810: Pull request #891 opened by lfrenot
January 16, 2025 11:00 23m 8s lfrenot:lean-style-fix
lfrenot:lean-style-fix
January 16, 2025 11:00 23m 8s
Lean: Fixing Lean style and wrong definition in Sail.lean Check formatting #1757: Pull request #891 opened by lfrenot
January 16, 2025 11:00 44s lfrenot:lean-style-fix
lfrenot:lean-style-fix
January 16, 2025 11:00 44s
Lean: Adding features to support structs and bitfields Check formatting #1756: Pull request #817 synchronize by lfrenot
January 16, 2025 10:49 36s lfrenot:lean-record-features
lfrenot:lean-record-features
January 16, 2025 10:49 36s
Lean: Adding features to support structs and bitfields Test coverage #1809: Pull request #817 synchronize by lfrenot
January 16, 2025 10:49 21m 50s lfrenot:lean-record-features
lfrenot:lean-record-features
January 16, 2025 10:49 21m 50s
Publish test results Publish test results #1770: completed by javra
January 16, 2025 10:40 25s
January 16, 2025 10:40 25s
Publish test results Publish test results #1769: completed by bacam
January 16, 2025 10:40 22s
January 16, 2025 10:40 22s
Coq test running update Build matrix #966: Commit d02e965 pushed by bacam
January 16, 2025 10:17 7m 36s sail2
sail2
January 16, 2025 10:17 7m 36s
Coq test running update Test coverage #1808: Commit d02e965 pushed by bacam
January 16, 2025 10:17 22m 44s sail2
sail2
January 16, 2025 10:17 22m 44s
Coq test running update Check formatting #1755: Commit d02e965 pushed by bacam
January 16, 2025 10:17 37s sail2
sail2
January 16, 2025 10:17 37s
Lean: add placeholder for state monad to stateful functions Test coverage #1807: Pull request #870 synchronize by javra
January 16, 2025 10:16 23m 24s javra:lean/state
javra:lean/state
January 16, 2025 10:16 23m 24s
Lean: add placeholder for state monad to stateful functions Check formatting #1754: Pull request #870 synchronize by javra
January 16, 2025 10:16 51s javra:lean/state
javra:lean/state
January 16, 2025 10:16 51s
Publish test results Publish test results #1768: completed by javra
January 16, 2025 08:48 20s
January 16, 2025 08:48 20s
Publish test results Publish test results #1767: completed by javra
January 16, 2025 08:44 20s
January 16, 2025 08:44 20s
Publish test results Publish test results #1766: completed by javra
January 16, 2025 08:43 22s
January 16, 2025 08:43 22s