Skip to content

Actions: rems-project/sail

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add translation start/end outcomes Test coverage #1981: Pull request #506 synchronize by bauereiss
January 30, 2025 14:59 22m 32s bauereiss:translation_interface
bauereiss:translation_interface
January 30, 2025 14:59 22m 32s
Add translation start/end outcomes Check formatting #1928: Pull request #506 synchronize by bauereiss
January 30, 2025 14:59 34s bauereiss:translation_interface
bauereiss:translation_interface
January 30, 2025 14:59 34s
Rewrite termination measures sooner Check formatting #1927: Pull request #930 opened by bauereiss
January 30, 2025 14:56 1m 37s bauereiss:termination_measures
bauereiss:termination_measures
January 30, 2025 14:56 1m 37s
Rewrite termination measures sooner Test coverage #1980: Pull request #930 opened by bauereiss
January 30, 2025 14:56 23m 33s bauereiss:termination_measures
bauereiss:termination_measures
January 30, 2025 14:56 23m 33s
Add translation start/end outcomes Test coverage #1979: Pull request #506 synchronize by bauereiss
January 30, 2025 14:37 22m 53s bauereiss:translation_interface
bauereiss:translation_interface
January 30, 2025 14:37 22m 53s
Add translation start/end outcomes Check formatting #1926: Pull request #506 synchronize by bauereiss
January 30, 2025 14:37 33s bauereiss:translation_interface
bauereiss:translation_interface
January 30, 2025 14:37 33s
Publish test results Publish test results #1936: completed by lfrenot
January 30, 2025 14:35 25s
January 30, 2025 14:35 25s
Lean: Fixing struct of enums Test coverage #1978: Pull request #929 opened by lfrenot
January 30, 2025 14:11 23m 40s lfrenot:lean/struct_of_enum
lfrenot:lean/struct_of_enum
January 30, 2025 14:11 23m 40s
Lean: Fixing struct of enums Check formatting #1925: Pull request #929 opened by lfrenot
January 30, 2025 14:11 2m 0s lfrenot:lean/struct_of_enum
lfrenot:lean/struct_of_enum
January 30, 2025 14:11 2m 0s
Publish test results Publish test results #1935: completed by bacam
January 30, 2025 13:53 21s
January 30, 2025 13:53 21s
Publish test results Publish test results #1934: completed by bacam
January 30, 2025 13:40 17s
January 30, 2025 13:40 17s
Publish test results Publish test results #1933: completed by Timmmm
January 30, 2025 13:34 22s
January 30, 2025 13:34 22s
Lean: Supporting enums with number conversions (#927) Check formatting #1924: Commit cafe946 pushed by bacam
January 30, 2025 13:30 34s sail2
sail2
January 30, 2025 13:30 34s
Lean: Supporting enums with number conversions (#927) Test coverage #1977: Commit cafe946 pushed by bacam
January 30, 2025 13:30 22m 51s sail2
sail2
January 30, 2025 13:30 22m 51s
Lean: Supporting enums with number conversions (#927) Build matrix #1016: Commit cafe946 pushed by bacam
January 30, 2025 13:30 7m 13s sail2
sail2
January 30, 2025 13:30 7m 13s
Publish test results Publish test results #1932: completed by lfrenot
January 30, 2025 13:20 21s
January 30, 2025 13:20 21s
Lean: fix parantheses around negative integer literals (#926) Test coverage #1976: Commit 9383224 pushed by bacam
January 30, 2025 13:17 23m 3s sail2
sail2
January 30, 2025 13:17 23m 3s
Lean: fix parantheses around negative integer literals (#926) Check formatting #1923: Commit 9383224 pushed by bacam
January 30, 2025 13:17 35s sail2
sail2
January 30, 2025 13:17 35s
Lean: fix parantheses around negative integer literals (#926) Build matrix #1015: Commit 9383224 pushed by bacam
January 30, 2025 13:17 7m 43s sail2
sail2
January 30, 2025 13:17 7m 43s
Publish test results Publish test results #1931: completed by javra
January 30, 2025 13:16 20s
January 30, 2025 13:16 20s
Publish test results Publish test results #1930: completed by javra
January 30, 2025 13:15 16s
January 30, 2025 13:15 16s
Add support for unit tests via $[test] attribute Check formatting #1922: Pull request #928 opened by Timmmm
January 30, 2025 13:11 36s Timmmm:user/timh/unit_tests
Timmmm:user/timh/unit_tests
January 30, 2025 13:11 36s
Add support for unit tests via $[test] attribute Test coverage #1975: Pull request #928 opened by Timmmm
January 30, 2025 13:11 23m 15s Timmmm:user/timh/unit_tests
Timmmm:user/timh/unit_tests
January 30, 2025 13:11 23m 15s
Lean: Supporting enums with number conversions Test coverage #1974: Pull request #927 synchronize by lfrenot
January 30, 2025 12:57 22m 49s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 12:57 22m 49s
Lean: Supporting enums with number conversions Check formatting #1921: Pull request #927 synchronize by lfrenot
January 30, 2025 12:57 49s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 12:57 49s