Skip to content

Actions: nadime15/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,580 workflow runs
1,580 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run full tests Run full tests #32: Scheduled
1h 3m 40s master
master
1h 3m 40s
Run full tests Run full tests #31: Scheduled
1h 3m 9s master
master
1h 3m 9s
Publish test results Publish test results #539: completed by pmundkur
19s
19s
Publish test results Publish test results #538: completed by pmundkur
18s
18s
Fix module dep to be more accurate; not sure why the previous version… Rocq #67: Commit 7ec288c pushed by pmundkur
10m 36s ext_stateen
ext_stateen
10m 36s
Fix module dep to be more accurate; not sure why the previous version… CI #67: Commit 7ec288c pushed by pmundkur
36m 41s ext_stateen
ext_stateen
36m 41s
Fix module dep to be more accurate; not sure why the previous version… Build and test Lean backend #347: Commit 7ec288c pushed by pmundkur
12m 37s ext_stateen
ext_stateen
12m 37s
Fix Lean build. Rocq #66: Commit 4905a3d pushed by pmundkur
10m 19s ext_stateen
ext_stateen
10m 19s
Fix Lean build. Build and test Lean backend #346: Commit 4905a3d pushed by pmundkur
24m 37s ext_stateen
ext_stateen
24m 37s
Fix Lean build. CI #66: Commit 4905a3d pushed by pmundkur
36m 49s ext_stateen
ext_stateen
36m 49s
Publish test results Publish test results #537: completed by nadime15
14s
14s
Introduce scattered function and reorganize code Rocq #65: Commit 96f1dff pushed by nadime15
7m 32s ext_stateen
ext_stateen
7m 32s
Introduce scattered function and reorganize code Build and test Lean backend #345: Commit 96f1dff pushed by nadime15
16m 27s ext_stateen
ext_stateen
16m 27s
Introduce scattered function and reorganize code CI #65: Commit 96f1dff pushed by nadime15
36m 59s ext_stateen
ext_stateen
36m 59s
Publish test results Publish test results #536: completed by nadime15
14s
14s
Address Prashanth's feedback part 2 CI #64: Commit 27d01ab pushed by nadime15
36m 12s ext_stateen
ext_stateen
36m 12s
Address Prashanth's feedback part 2 Rocq #64: Commit 27d01ab pushed by nadime15
7m 39s ext_stateen
ext_stateen
7m 39s
Address Prashanth's feedback part 2 Build and test Lean backend #344: Commit 27d01ab pushed by nadime15
16m 2s ext_stateen
ext_stateen
16m 2s
Publish test results Publish test results #535: completed by nadime15
12s
12s
Address Prashanth's feedback Rocq #63: Commit c016c6b pushed by nadime15
8m 23s ext_stateen
ext_stateen
8m 23s
Address Prashanth's feedback CI #63: Commit c016c6b pushed by nadime15
34m 29s ext_stateen
ext_stateen
34m 29s
Address Prashanth's feedback Build and test Lean backend #343: Commit c016c6b pushed by nadime15
16m 37s ext_stateen
ext_stateen
16m 37s
Publish test results Publish test results #534: completed by nadime15
20s
20s
Remove comma in config file Rocq #62: Commit 2ec1bb8 pushed by nadime15
10m 4s add-zdinx-config
add-zdinx-config
10m 4s
Remove comma in config file Build and test Lean backend #342: Commit 2ec1bb8 pushed by nadime15
24m 44s add-zdinx-config
add-zdinx-config
24m 44s