Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: use match_bv to match on bitvectors for function clauses Check formatting #2056: Pull request #970 synchronize by arthur-adjedj
February 11, 2025 18:03 Action required arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 18:03 Action required
Lean: use match_bv to match on bitvectors for function clauses Test coverage #2109: Pull request #970 synchronize by arthur-adjedj
February 11, 2025 18:03 Action required arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 18:03 Action required
Publish test results Publish test results #2066: completed by arthur-adjedj
February 11, 2025 17:53 27s
February 11, 2025 17:53 27s
Publish test results Publish test results #2065: completed by Alasdair
February 11, 2025 17:15 16s
February 11, 2025 17:15 16s
define undefined_vector Build matrix #1054: Commit 6c0caba pushed by Alasdair
February 11, 2025 16:52 7m 37s sail2
sail2
February 11, 2025 16:52 7m 37s
define undefined_vector Test coverage #2108: Commit 6c0caba pushed by Alasdair
February 11, 2025 16:52 23m 16s sail2
sail2
February 11, 2025 16:52 23m 16s
define undefined_vector Check formatting #2055: Commit 6c0caba pushed by Alasdair
February 11, 2025 16:52 50s sail2
sail2
February 11, 2025 16:52 50s
Publish test results Publish test results #2064: completed by javra
February 11, 2025 16:51 32s
February 11, 2025 16:51 32s
Publish test results Publish test results #2063: completed by Alasdair
February 11, 2025 16:46 18s
February 11, 2025 16:46 18s
Publish test results Publish test results #2062: completed by ineol
February 11, 2025 16:32 26s
February 11, 2025 16:32 26s
Lean: define undefined_vector Check formatting #2054: Pull request #978 opened by javra
February 11, 2025 16:27 1m 1s javra:lean/undefined_vector
javra:lean/undefined_vector
February 11, 2025 16:27 1m 1s
Lean: define undefined_vector Test coverage #2107: Pull request #978 opened by javra
February 11, 2025 16:27 23m 18s javra:lean/undefined_vector
javra:lean/undefined_vector
February 11, 2025 16:27 23m 18s
Lean: fix lets that use tuples Check formatting #2053: Commit f17fb4b pushed by Alasdair
February 11, 2025 16:21 44s sail2
sail2
February 11, 2025 16:21 44s
Lean: fix lets that use tuples Test coverage #2106: Commit f17fb4b pushed by Alasdair
February 11, 2025 16:21 24m 58s sail2
sail2
February 11, 2025 16:21 24m 58s
Lean: fix lets that use tuples Build matrix #1053: Commit f17fb4b pushed by Alasdair
February 11, 2025 16:21 7m 13s sail2
sail2
February 11, 2025 16:21 7m 13s
Publish test results Publish test results #2061: completed by lfrenot
February 11, 2025 16:12 27s
February 11, 2025 16:12 27s
feat(test/lean): support self-tests from the C backend Test coverage #2105: Pull request #973 synchronize by ineol
February 11, 2025 16:08 23m 56s RaitoBezarius:runnable-lean-tests
RaitoBezarius:runnable-lean-tests
February 11, 2025 16:08 23m 56s
feat(test/lean): support self-tests from the C backend Check formatting #2052: Pull request #973 synchronize by ineol
February 11, 2025 16:08 54s RaitoBezarius:runnable-lean-tests
RaitoBezarius:runnable-lean-tests
February 11, 2025 16:08 54s
Publish test results Publish test results #2060: completed by Alasdair
February 11, 2025 15:59 17s
February 11, 2025 15:59 17s
Publish test results Publish test results #2059: completed by lfrenot
February 11, 2025 15:49 26s
February 11, 2025 15:49 26s
Lean: Memory model Check formatting #2051: Pull request #965 synchronize by lfrenot
February 11, 2025 15:47 44s lfrenot:lean/Arch-class
lfrenot:lean/Arch-class
February 11, 2025 15:47 44s
Lean: Memory model Test coverage #2104: Pull request #965 synchronize by lfrenot
February 11, 2025 15:47 24m 36s lfrenot:lean/Arch-class
lfrenot:lean/Arch-class
February 11, 2025 15:47 24m 36s
Tests: Thread expected_status through step_with_status Build matrix #1052: Commit c8020d3 pushed by Alasdair
February 11, 2025 15:35 7m 15s sail2
sail2
February 11, 2025 15:35 7m 15s
Tests: Thread expected_status through step_with_status Test coverage #2103: Commit c8020d3 pushed by Alasdair
February 11, 2025 15:35 23m 22s sail2
sail2
February 11, 2025 15:35 23m 22s
Tests: Thread expected_status through step_with_status Check formatting #2050: Commit c8020d3 pushed by Alasdair
February 11, 2025 15:35 38s sail2
sail2
February 11, 2025 15:35 38s