Skip to content

Actions: nadime15/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile-lean.yml
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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. Build and test Lean backend #346: Commit 4905a3d pushed by pmundkur
24m 37s ext_stateen
ext_stateen
24m 37s
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
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
Address Prashanth's feedback Build and test Lean backend #343: Commit c016c6b pushed by nadime15
16m 37s ext_stateen
ext_stateen
16m 37s
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
Check whether F and Zfinx are supported simultaneously Build and test Lean backend #341: Commit 351dc8a pushed by nadime15
9m 43s add-zdinx-config
add-zdinx-config
9m 43s
Improve naming Build and test Lean backend #340: Commit b3d5eb6 pushed by nadime15
22m 20s refactor-tlb-hash
refactor-tlb-hash
22m 20s
Add Zdinx to configuration and validate Zfinx-related dependencies Build and test Lean backend #339: Commit 9482e45 pushed by nadime15
9m 37s add-zdinx-config
add-zdinx-config
9m 37s
Address Tim’s feedback Build and test Lean backend #338: Commit 8d2ba04 pushed by nadime15
16m 31s ext_stateen
ext_stateen
16m 31s
Address Tim’s feedback Build and test Lean backend #337: Commit 9172de5 pushed by nadime15
16m 42s ext_stateen
ext_stateen
16m 42s
Add bit banging protocol Build and test Lean backend #336: Commit 565221d pushed by nadime15
13m 48s add_remote_bitbang
add_remote_bitbang
13m 48s
Add bit banging protocol Build and test Lean backend #335: Commit 757adc9 pushed by nadime15
23m 14s add_remote_bitbang
add_remote_bitbang
23m 14s
Replace hardcoded constant in tlb_hash() with a compile-time constant Build and test Lean backend #334: Commit 68a17b8 pushed by nadime15
23m 53s refactor-tlb-hash
refactor-tlb-hash
23m 53s
Replace hardcoded constant in tlb_hash() with a compile-time constant Build and test Lean backend #333: Commit 4438e76 pushed by nadime15
23m 29s refactor-tlb-hash
refactor-tlb-hash
23m 29s
Refactor Sdext Build and test Lean backend #332: Commit 642d2f6 pushed by nadime15
17m 29s debug_all
debug_all
17m 29s
Simplify programm_buffer_read() Build and test Lean backend #331: Commit 4471b4b pushed by nadime15
17m 16s debug_module
debug_module
17m 16s
Simplify R/W1C to clear only on all-ones write for cmderr Build and test Lean backend #330: Commit f60c34e pushed by nadime15
16m 51s debug_module
debug_module
16m 51s
Add bit banging protocol Build and test Lean backend #329: Commit 6380399 pushed by nadime15
2h 29m 15s add_remote_bitbang
add_remote_bitbang
2h 29m 15s
Add bit banging protocol Build and test Lean backend #328: Commit aa79e20 pushed by nadime15
1h 33m 54s bb-test
bb-test
1h 33m 54s
Add debug module Build and test Lean backend #327: Commit d76cf95 pushed by nadime15
17m 11s debug_module
debug_module
17m 11s
Refactor Debug Module Build and test Lean backend #326: Commit 21723ae pushed by nadime15
8m 6s debug_all
debug_all
8m 6s
Add function to trigger buggy behaviour Build and test Lean backend #325: Commit 4c4165a pushed by nadime15
12m 57s sail-register-bug
sail-register-bug
12m 57s
Refactor 1 Build and test Lean backend #324: Commit 0fcca7f pushed by nadime15
13m 6s debug_all
debug_all
13m 6s
Add --rng-seed option for deterministic entropy Build and test Lean backend #323: Commit b14e451 pushed by nadime15
2h 16m 11s cpp_random
cpp_random
2h 16m 11s