Skip to content

Actions: lowRISC/sail

Actions

Build matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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