Skip to content

Actions: YosysHQ/riscv-formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
739 workflow runs
739 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #219: Scheduled
4m 51s main
main
4m 51s
ci ci #1277: Scheduled
19m 37s main
main
19m 37s
CodeQL CodeQL #218: Scheduled
1m 11s main
main
1m 11s
ci ci #1276: Scheduled
18m 31s main
main
18m 31s
Initial CSR work ci #1275: Commit 316b03c pushed by KrystalDelusion
5m 12s krys/csr_refactor
krys/csr_refactor
5m 12s
Initial CSR work CodeQL #217: Commit 316b03c pushed by KrystalDelusion
1m 16s krys/csr_refactor
krys/csr_refactor
1m 16s
Shuffling methods/classes CodeQL #216: Commit c669ed3 pushed by KrystalDelusion
1m 17s krys/sail_tests
krys/sail_tests
1m 17s
Shuffling methods/classes ci #1274: Commit c669ed3 pushed by KrystalDelusion
5m 5s krys/sail_tests
krys/sail_tests
5m 5s
CodeQL CodeQL #215: Scheduled
1m 8s main
main
1m 8s
ci ci #1273: Scheduled
19m 44s main
main
19m 44s
CodeQL CodeQL #214: Scheduled
1m 15s main
main
1m 15s
ci ci #1272: Scheduled
18m 16s main
main
18m 16s
Fix for bus_imem_fault issue in #44 CodeQL #213: Pull request #47 opened by Wren6991
Action required Wren6991:fix-44-part2
Wren6991:fix-44-part2
Action required
Fix for bus_imem_fault issue in #44 ci #1271: Pull request #47 opened by Wren6991
Action required Wren6991:fix-44-part2
Wren6991:fix-44-part2
Action required
Use NamedSet CodeQL #212: Commit 57c136e pushed by KrystalDelusion
1m 16s krys/sail_tests
krys/sail_tests
1m 16s
Use NamedSet ci #1270: Commit 57c136e pushed by KrystalDelusion
5m 23s krys/sail_tests
krys/sail_tests
5m 23s
CodeQL CodeQL #211: Scheduled
1m 6s main
main
1m 6s
ci ci #1269: Scheduled
19m 19s main
main
19m 19s
Fix rvfi_bus_imem_check issue in #44 CodeQL #210: Pull request #46 opened by Wren6991
Action required Wren6991:fix-44
Wren6991:fix-44
Action required
Fix rvfi_bus_imem_check issue in #44 ci #1268: Pull request #46 opened by Wren6991
Action required Wren6991:fix-44
Wren6991:fix-44
Action required
CodeQL CodeQL #209: Scheduled
1m 15s main
main
1m 15s
ci ci #1267: Scheduled
17m 54s main
main
17m 54s
CodeQL CodeQL #208: Scheduled
1m 5s main
main
1m 5s
Completeness check CodeQL #207: Commit dde6ef2 pushed by KrystalDelusion
1m 8s krys/sail_tests
krys/sail_tests
1m 8s
Completeness check ci #1266: Commit dde6ef2 pushed by KrystalDelusion
5m 25s krys/sail_tests
krys/sail_tests
5m 25s