Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,651 workflow run results
5,651 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #2156: completed by ineol
February 14, 2025 13:45 20s
February 14, 2025 13:45 20s
Lean: fix doc_typdef for abbrev of ranges and bools Check formatting #2149: Pull request #1007 opened by lfrenot
February 14, 2025 13:38 47s lfrenot:fix_TD_abbrev
lfrenot:fix_TD_abbrev
February 14, 2025 13:38 47s
Lean: fix doc_typdef for abbrev of ranges and bools Test matrix #35: Pull request #1007 opened by lfrenot
February 14, 2025 13:38 11m 27s lfrenot:fix_TD_abbrev
lfrenot:fix_TD_abbrev
February 14, 2025 13:38 11m 27s
Upload test coverage Upload test coverage #32: completed by Alasdair
February 14, 2025 13:35 3m 25s
February 14, 2025 13:35 3m 25s
Publish test results Publish test results #2155: completed by Alasdair
February 14, 2025 13:35 18s
February 14, 2025 13:35 18s
Lean: implement struct patterns Test matrix #34: Pull request #1006 opened by ineol
February 14, 2025 13:32 12m 43s ineol:lean-struct-pats
ineol:lean-struct-pats
February 14, 2025 13:32 12m 43s
Lean: implement struct patterns Check formatting #2148: Pull request #1006 opened by ineol
February 14, 2025 13:32 51s ineol:lean-struct-pats
ineol:lean-struct-pats
February 14, 2025 13:32 51s
Lean: add support for try/catch (#1004) Check formatting #2147: Commit c2a6b9d pushed by Alasdair
February 14, 2025 13:22 42s sail2
sail2
February 14, 2025 13:22 42s
Lean: add support for try/catch (#1004) Build matrix #1087: Commit c2a6b9d pushed by Alasdair
February 14, 2025 13:22 7m 12s sail2
sail2
February 14, 2025 13:22 7m 12s
Lean: add support for try/catch (#1004) Test matrix #33: Commit c2a6b9d pushed by Alasdair
February 14, 2025 13:22 12m 58s sail2
sail2
February 14, 2025 13:22 12m 58s
Publish test results Publish test results #2154: completed by ineol
February 14, 2025 13:14 21s
February 14, 2025 13:14 21s
Upload test coverage Upload test coverage #31: completed by ineol
February 14, 2025 13:14 3m 30s
February 14, 2025 13:14 3m 30s
Lean: add support for try/catch Check formatting #2146: Pull request #1004 synchronize by ineol
February 14, 2025 13:02 1m 15s ineol:lean-try-catch
ineol:lean-try-catch
February 14, 2025 13:02 1m 15s
Lean: add support for try/catch Test matrix #32: Pull request #1004 synchronize by ineol
February 14, 2025 13:02 12m 28s ineol:lean-try-catch
ineol:lean-try-catch
February 14, 2025 13:02 12m 28s
Publish test results Publish test results #2153: completed by Alasdair
February 14, 2025 12:45 25s
February 14, 2025 12:45 25s
Upload test coverage Upload test coverage #30: completed by Alasdair
February 14, 2025 12:45 3m 35s
February 14, 2025 12:45 3m 35s
Publish test results Publish test results #2152: completed by ineol
February 14, 2025 12:42 19s
February 14, 2025 12:42 19s
Upload test coverage Upload test coverage #29: completed by ineol
February 14, 2025 12:42 4m 10s
February 14, 2025 12:42 4m 10s
add more annotation, fix omitted fundefs (#1002) Build matrix #1086: Commit 5342a05 pushed by Alasdair
February 14, 2025 12:33 7m 19s sail2
sail2
February 14, 2025 12:33 7m 19s
add more annotation, fix omitted fundefs (#1002) Test matrix #31: Commit 5342a05 pushed by Alasdair
February 14, 2025 12:33 11m 42s sail2
sail2
February 14, 2025 12:33 11m 42s
add more annotation, fix omitted fundefs (#1002) Check formatting #2145: Commit 5342a05 pushed by Alasdair
February 14, 2025 12:33 34s sail2
sail2
February 14, 2025 12:33 34s
Publish test results Publish test results #2151: completed by javra
February 14, 2025 12:32 26s
February 14, 2025 12:32 26s
Upload test coverage Upload test coverage #28: completed by javra
February 14, 2025 12:32 3m 31s
February 14, 2025 12:32 3m 31s
Upload test coverage Upload test coverage #27: completed by Alasdair
February 14, 2025 12:31 3m 43s
February 14, 2025 12:31 3m 43s
Publish test results Publish test results #2150: completed by Alasdair
February 14, 2025 12:31 17s
February 14, 2025 12:31 17s