Skip to content

Actions: rems-project/sail

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,560 workflow runs
1,560 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: Defining errors Test coverage #1992: Pull request #933 opened by lfrenot
January 31, 2025 11:50 22m 27s lfrenot:lean/errors
lfrenot:lean/errors
January 31, 2025 11:50 22m 27s
Lean: Fixing struct of enums (#929) Test coverage #1991: Commit f16f4d6 pushed by bacam
January 31, 2025 11:08 22m 58s sail2
sail2
January 31, 2025 11:08 22m 58s
Lean: Fixing struct of enums Test coverage #1990: Pull request #929 synchronize by lfrenot
January 31, 2025 10:33 23m 37s lfrenot:lean/struct_of_enum
lfrenot:lean/struct_of_enum
January 31, 2025 10:33 23m 37s
Sail configuration system Test coverage #1989: Pull request #865 synchronize by Alasdair
January 31, 2025 02:34 25m 59s config
config
January 31, 2025 02:34 25m 59s
Config: Add configurable abstract types and add bit type Test coverage #1988: Commit ab0abdc pushed by Alasdair
January 31, 2025 02:34 25m 30s config
config
January 31, 2025 02:34 25m 30s
Switch from Omd to Cmarkit Test coverage #1987: Pull request #932 opened by Alasdair
January 30, 2025 19:37 22m 32s cmarkit-switch
cmarkit-switch
January 30, 2025 19:37 22m 32s
Switch from Omd to Cmarkit Test coverage #1986: Commit c11cf0d pushed by Alasdair
January 30, 2025 19:35 22m 25s cmarkit-switch
cmarkit-switch
January 30, 2025 19:35 22m 25s
Doc: Fix attributes in grammar section Test coverage #1985: Commit b6b21b1 pushed by Alasdair
January 30, 2025 19:34 23m 28s cmarkit-switch
cmarkit-switch
January 30, 2025 19:34 23m 28s
Doc: Fix attributes in grammar section Test coverage #1984: Commit 5152e25 pushed by Alasdair
January 30, 2025 19:32 23m 14s sail2
sail2
January 30, 2025 19:32 23m 14s
Some additional documentation for operators Test coverage #1983: Pull request #931 opened by Alasdair
January 30, 2025 19:26 24m 15s doc-operators
doc-operators
January 30, 2025 19:26 24m 15s
Doc: Fix attributes in grammar section Test coverage #1982: Commit b6b21b1 pushed by Alasdair
January 30, 2025 19:26 22m 50s doc-operators
doc-operators
January 30, 2025 19:26 22m 50s
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
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
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: 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: 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
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: fix parantheses around negative integer literals Test coverage #1973: Pull request #926 synchronize by javra
January 30, 2025 12:53 22m 38s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 12:53 22m 38s
Lean: fix parantheses around negative integer literals Test coverage #1972: Pull request #926 synchronize by javra
January 30, 2025 12:52 22m 10s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 12:52 22m 10s
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 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
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: 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