Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #1929: completed by bacam
January 30, 2025 12:26 17s
January 30, 2025 12:26 17s
feat(ci): add Lean testing in the CI (#871) Build matrix #1014: Commit e7f1262 pushed by bacam
January 30, 2025 12:01 7m 14s sail2
sail2
January 30, 2025 12:01 7m 14s
feat(ci): add Lean testing in the CI (#871) Test coverage #1971: Commit e7f1262 pushed by bacam
January 30, 2025 12:01 25m 13s sail2
sail2
January 30, 2025 12:01 25m 13s
feat(ci): add Lean testing in the CI (#871) Check formatting #1918: Commit e7f1262 pushed by bacam
January 30, 2025 12:01 41s sail2
sail2
January 30, 2025 12:01 41s
Publish test results Publish test results #1928: completed by bacam
January 30, 2025 11:51 19s
January 30, 2025 11:51 19s
Publish test results Publish test results #1927: completed by bacam
January 30, 2025 11:50 15s
January 30, 2025 11:50 15s
Publish test results Publish test results #1926: completed by lfrenot
January 30, 2025 11:49 19s
January 30, 2025 11:49 19s
feat(ci): add Lean testing in the CI Check formatting #1917: Pull request #871 reopened by bacam
January 30, 2025 11:29 46s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 30, 2025 11:29 46s
feat(ci): add Lean testing in the CI Test coverage #1970: Pull request #871 reopened by bacam
January 30, 2025 11:29 22m 8s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 30, 2025 11:29 22m 8s
Publish test results Publish test results #1925: completed by lfrenot
January 30, 2025 11:29 14s
January 30, 2025 11:29 14s
Lean: add monad declaration in files without register use (#922) Test coverage #1969: Commit 4db7000 pushed by bacam
January 30, 2025 11:28 22m 33s sail2
sail2
January 30, 2025 11:28 22m 33s
Lean: add monad declaration in files without register use (#922) Build matrix #1013: Commit 4db7000 pushed by bacam
January 30, 2025 11:28 7m 17s sail2
sail2
January 30, 2025 11:28 7m 17s
Lean: add monad declaration in files without register use (#922) Check formatting #1916: Commit 4db7000 pushed by bacam
January 30, 2025 11:28 31s sail2
sail2
January 30, 2025 11:28 31s
Lean: Supporting enums with number conversions Test coverage #1968: Pull request #927 synchronize by lfrenot
January 30, 2025 11:25 24m 5s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:25 24m 5s
Lean: Supporting enums with number conversions Check formatting #1915: Pull request #927 synchronize by lfrenot
January 30, 2025 11:25 35s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:25 35s
Publish test results Publish test results #1924: completed by javra
January 30, 2025 11:23 24s
January 30, 2025 11:23 24s
Publish test results Publish test results #1923: completed by javra
January 30, 2025 11:12 20s
January 30, 2025 11:12 20s
Lean: Supporting enums with number conversions Check formatting #1914: Pull request #927 opened by lfrenot
January 30, 2025 11:06 40s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:06 40s
Lean: Supporting enums with number conversions Test coverage #1967: Pull request #927 opened by lfrenot
January 30, 2025 11:06 22m 39s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:06 22m 39s
Lean: fix parantheses around negative integer literals Check formatting #1913: Pull request #926 opened by javra
January 30, 2025 11:01 1m 42s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 11:01 1m 42s
Lean: fix parantheses around negative integer literals Test coverage #1966: Pull request #926 opened by javra
January 30, 2025 11:01 22m 34s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 11:01 22m 34s
Lean: add monad declaration in files without register use Check formatting #1912: Pull request #922 synchronize by javra
January 30, 2025 10:49 35s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 10:49 35s
Lean: add monad declaration in files without register use Test coverage #1965: Pull request #922 synchronize by javra
January 30, 2025 10:49 22m 30s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 10:49 22m 30s
Publish test results Publish test results #1922: completed by javra
January 30, 2025 10:05 18s
January 30, 2025 10:05 18s
Publish test results Publish test results #1921: completed by javra
January 30, 2025 09:58 21s
January 30, 2025 09:58 21s