Skip to content

Actions: rems-project/sail

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,840 workflow runs
4,840 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results
Publish test results #1685: completed by Alasdair
January 7, 2025 16:08 22s
January 7, 2025 16:08 22s
Publish test results
Publish test results #1684: completed by Alasdair
January 7, 2025 15:55 16s
January 7, 2025 15:55 16s
Publish test results
Publish test results #1683: completed by Alasdair
January 7, 2025 15:55 25s
January 7, 2025 15:55 25s
Report locations for missing SMT generators
Test coverage #1722: Commit 1cc3881 pushed by Alasdair
January 7, 2025 15:46 22m 38s sail2
January 7, 2025 15:46 22m 38s
Report locations for missing SMT generators
Build matrix #937: Commit 1cc3881 pushed by Alasdair
January 7, 2025 15:46 20m 38s sail2
January 7, 2025 15:46 20m 38s
Report locations for missing SMT generators
Check formatting #1669: Commit 1cc3881 pushed by Alasdair
January 7, 2025 15:46 35s sail2
January 7, 2025 15:46 35s
Test coverage
Test coverage #1721: by Alasdair
January 7, 2025 15:33 22m 9s sail2
January 7, 2025 15:33 22m 9s
Check formatting
Check formatting #1668: by Alasdair
January 7, 2025 15:33 39s sail2
January 7, 2025 15:33 39s
Build matrix
Build matrix #936: by Alasdair
January 7, 2025 15:33 7m 19s sail2
January 7, 2025 15:33 7m 19s
Test coverage
Test coverage #1720: by Alasdair
January 7, 2025 15:32 23m 15s sail2
January 7, 2025 15:32 23m 15s
Check formatting
Check formatting #1667: by Alasdair
January 7, 2025 15:32 40s sail2
January 7, 2025 15:32 40s
Build matrix
Build matrix #935: by Alasdair
January 7, 2025 15:32 7m 45s sail2
January 7, 2025 15:32 7m 45s
Publish test results
Publish test results #1682: completed by Timmmm
January 7, 2025 13:00 28s
January 7, 2025 13:00 28s
Fix C++ compatibility of unions with degenerate variant names
Test coverage #1719: Pull request #862 synchronize by Timmmm
January 7, 2025 12:38 22m 24s Timmmm:user/timh/cpp_unions
January 7, 2025 12:38 22m 24s
Fix C++ compatibility of unions with degenerate variant names
Check formatting #1666: Pull request #862 synchronize by Timmmm
January 7, 2025 12:38 49s Timmmm:user/timh/cpp_unions
January 7, 2025 12:38 49s
Publish test results
Publish test results #1681: completed by Timmmm
January 7, 2025 12:03 19s
January 7, 2025 12:03 19s
Publish test results
Publish test results #1680: completed by Timmmm
January 7, 2025 11:41 21s
January 7, 2025 11:41 21s
Publish test results
Publish test results #1679: completed by Timmmm
January 7, 2025 11:39 17s
January 7, 2025 11:39 17s
Always generate the manifest
Check formatting #1665: Pull request #863 opened by Timmmm
January 7, 2025 11:39 49s Timmmm:user/timh/always_update_manifest
January 7, 2025 11:39 49s
Always generate the manifest
Test coverage #1718: Pull request #863 opened by Timmmm
January 7, 2025 11:39 23m 35s Timmmm:user/timh/always_update_manifest
January 7, 2025 11:39 23m 35s
Fix C++ compatibility of unions with degenerate variant names
Test coverage #1717: Pull request #862 synchronize by Timmmm
January 7, 2025 11:18 22m 55s Timmmm:user/timh/cpp_unions
January 7, 2025 11:18 22m 55s
Fix C++ compatibility of unions with degenerate variant names
Check formatting #1664: Pull request #862 synchronize by Timmmm
January 7, 2025 11:18 32s Timmmm:user/timh/cpp_unions
January 7, 2025 11:18 32s
Fix C++ compatibility of unions with degenerate variant names
Test coverage #1716: Pull request #862 synchronize by Timmmm
January 7, 2025 11:17 22m 42s Timmmm:user/timh/cpp_unions
January 7, 2025 11:17 22m 42s
Fix C++ compatibility of unions with degenerate variant names
Check formatting #1663: Pull request #862 synchronize by Timmmm
January 7, 2025 11:17 49s Timmmm:user/timh/cpp_unions
January 7, 2025 11:17 49s
Publish test results
Publish test results #1678: completed by Timmmm
January 7, 2025 11:00 31s
January 7, 2025 11:00 31s