Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,554 workflow runs
1,554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch from Omd to Cmarkit Check formatting #1934: Pull request #932 opened by Alasdair
January 30, 2025 19:37 35s cmarkit-switch
cmarkit-switch
January 30, 2025 19:37 35s
Switch from Omd to Cmarkit Check formatting #1933: Commit c11cf0d pushed by Alasdair
January 30, 2025 19:35 37s cmarkit-switch
cmarkit-switch
January 30, 2025 19:35 37s
Doc: Fix attributes in grammar section Check formatting #1932: Commit b6b21b1 pushed by Alasdair
January 30, 2025 19:34 52s cmarkit-switch
cmarkit-switch
January 30, 2025 19:34 52s
Doc: Fix attributes in grammar section Check formatting #1931: Commit 5152e25 pushed by Alasdair
January 30, 2025 19:32 39s sail2
sail2
January 30, 2025 19:32 39s
Some additional documentation for operators Check formatting #1930: Pull request #931 opened by Alasdair
January 30, 2025 19:26 34s doc-operators
doc-operators
January 30, 2025 19:26 34s
Doc: Fix attributes in grammar section Check formatting #1929: Commit b6b21b1 pushed by Alasdair
January 30, 2025 19:26 33s doc-operators
doc-operators
January 30, 2025 19:26 33s
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
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
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
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: 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
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
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
Lean: fix parantheses around negative integer literals Check formatting #1920: Pull request #926 synchronize by javra
January 30, 2025 12:53 35s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 12:53 35s
Lean: fix parantheses around negative integer literals Check formatting #1919: Pull request #926 synchronize by javra
January 30, 2025 12:52 39s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 12:52 39s
feat(ci): add Lean testing in the CI (#871) Check formatting #1918: Commit e7f1262 pushed by bacam
January 30, 2025 12:01 41s sail2
sail2
January 30, 2025 12:01 41s
feat(ci): add Lean testing in the CI Check formatting #1917: Pull request #871 reopened by bacam
January 30, 2025 11:29 46s RaitoBezarius:lean-ci
RaitoBezarius:lean-ci
January 30, 2025 11:29 46s
Lean: add monad declaration in files without register use (#922) Check formatting #1916: Commit 4db7000 pushed by bacam
January 30, 2025 11:28 31s sail2
sail2
January 30, 2025 11:28 31s
Lean: Supporting enums with number conversions Check formatting #1915: Pull request #927 synchronize by lfrenot
January 30, 2025 11:25 35s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:25 35s
Lean: Supporting enums with number conversions Check formatting #1914: Pull request #927 opened by lfrenot
January 30, 2025 11:06 40s lfrenot:lean/id-exists
lfrenot:lean/id-exists
January 30, 2025 11:06 40s
Lean: fix parantheses around negative integer literals Check formatting #1913: Pull request #926 opened by javra
January 30, 2025 11:01 1m 42s javra:lean/negative-int-lits
javra:lean/negative-int-lits
January 30, 2025 11:01 1m 42s
Lean: add monad declaration in files without register use Check formatting #1912: Pull request #922 synchronize by javra
January 30, 2025 10:49 35s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 10:49 35s
Lean: add monad declaration in files without register use Check formatting #1911: Pull request #922 synchronize by javra
January 30, 2025 09:42 35s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:42 35s
Lean: add monad declaration in files without register use Check formatting #1910: Pull request #922 synchronize by javra
January 30, 2025 09:35 1m 34s javra:lean/fix-monad-declaration
javra:lean/fix-monad-declaration
January 30, 2025 09:35 1m 34s