Skip to content

Actions: lowRISC/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #11: completed by BrandonTang89
11s
11s
Fixes for CVA6 Formal Verification Build matrix #14: Commit 967bd8e pushed by BrandonTang89
6m 44s cva6
cva6
6m 44s
Fixes for CVA6 Formal Verification Check formatting #14: Commit 967bd8e pushed by BrandonTang89
5m 15s cva6
cva6
5m 15s
Fixes for CVA6 Formal Verification Test coverage #11: Commit 967bd8e pushed by BrandonTang89
6s cva6
cva6
6s
Publish test results Publish test results #10: completed by mndstrmr
14s
14s
Minor fixes for CVA6 Check formatting #13: Commit 21784af pushed by mndstrmr
5m 8s ast_translate
ast_translate
5m 8s
Minor fixes for CVA6 Test coverage #10: Commit 21784af pushed by mndstrmr
6s ast_translate
ast_translate
6s
Minor fixes for CVA6 Build matrix #13: Commit 21784af pushed by mndstrmr
1d 0h 0m 1s ast_translate
ast_translate
1d 0h 0m 1s
Publish test results Publish test results #9: completed by mndstrmr
14s
14s
Lean: compat between early return and exception (#1553) Build matrix #12: Commit 479e75a pushed by mndstrmr
16m 6s sail2_fixes
sail2_fixes
16m 6s
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 Test coverage #9: Commit d00c025 pushed by mndstrmr
7s sail2_fixes
sail2_fixes
7s
Add quad floating point to float lib Check formatting #11: Commit d00c025 pushed by mndstrmr
5m 24s sail2_fixes
sail2_fixes
5m 24s
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
Publish test results Publish test results #8: completed by mndstrmr
14s
14s
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 Test coverage #8: Commit 9951301 pushed by mndstrmr
7s ast_translate
ast_translate
7s
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
Publish test results Publish test results #7: completed by nbdd0121
18s
18s
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
Rename the effect type effects for OCaml 5.3 keyword compatibility Test coverage #7: Commit 50746d7 pushed by nbdd0121
9s lowrisc
lowrisc
9s
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
Publish test results Publish test results #6: completed by mndstrmr
13s
13s
Avoid producing gotos where possible Test coverage #6: Commit 3cf9470 pushed by mndstrmr
7s ast_translate
ast_translate
7s
Avoid producing gotos where possible Check formatting #8: Commit 3cf9470 pushed by mndstrmr
5m 17s ast_translate
ast_translate
5m 17s