Skip to content

Actions: lowRISC/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor fixes for CVA6 Check formatting #13: Commit 21784af pushed by mndstrmr
5m 8s ast_translate
ast_translate
5m 8s
Lean: compat between early return and exception (#1553) Check formatting #12: Commit 479e75a pushed by mndstrmr
5m 6s sail2_fixes
sail2_fixes
5m 6s
Add quad floating point to float lib Check formatting #11: Commit d00c025 pushed by mndstrmr
5m 24s sail2_fixes
sail2_fixes
5m 24s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #10: Commit 9951301 pushed by mndstrmr
5m 57s ast_translate
ast_translate
5m 57s
Rename the effect type effects for OCaml 5.3 keyword compatibility Check formatting #9: Commit 50746d7 pushed by nbdd0121
8m 40s lowrisc
lowrisc
8m 40s
Avoid producing gotos where possible Check formatting #8: Commit 3cf9470 pushed by mndstrmr
5m 17s ast_translate
ast_translate
5m 17s
Move sail_current_exception, add unreachable loc Check formatting #7: Commit 0a978e0 pushed by mndstrmr
1m 40s lowrisc
lowrisc
1m 40s
Move sail_current_exception, add unreachable loc Check formatting #6: Commit defa5a1 pushed by mndstrmr
41s lowrisc
lowrisc
41s
Use logic everywhere, instead of bit Check formatting #5: Commit 1519e5c pushed by mndstrmr
1m 36s lowrisc
lowrisc
1m 36s
Loop unrolling should generate the loop body n times, not duplicate it Check formatting #4: Commit d3e8681 pushed by mndstrmr
5m 3s lowrisc
lowrisc
5m 3s
sail_sv_backend: swap element ordering for unpacked array Check formatting #3: Commit 4832414 pushed by nbdd0121
5m 19s lowrisc
lowrisc
5m 19s
sail_sv_backend: swap element ordering for unpacked array Check formatting #2: Commit a85a3a8 pushed by nbdd0121
5m 25s unpacked-array
unpacked-array
5m 25s
sail_sv_backend: use packed array Check formatting #1: Commit e50d810 pushed by nbdd0121
5m 13s unpacked-array
unpacked-array
5m 13s