Skip to content

Actions: YosysHQ/riscv-formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
730 workflow runs
730 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #1283: Scheduled
18m 58s main
main
18m 58s
Add inc behaviour CodeQL #224: Commit ce66e31 pushed by KrystalDelusion
1m 11s krys/csr_refactor
krys/csr_refactor
1m 11s
Add inc behaviour ci #1282: Commit ce66e31 pushed by KrystalDelusion
5m 23s krys/csr_refactor
krys/csr_refactor
5m 23s
CodeQL CodeQL #223: Scheduled
1m 8s main
main
1m 8s
ci ci #1281: Scheduled
19m 13s main
main
19m 13s
CodeQL CodeQL #222: Scheduled
3m 47s main
main
3m 47s
ci ci #1280: Scheduled
19m 17s main
main
19m 17s
CodeQL CodeQL #221: Scheduled
1m 19s main
main
1m 19s
ci ci #1279: Scheduled
19m 57s main
main
19m 57s
Add non-rvfi upcnt ci #1278: Commit 4434e41 pushed by KrystalDelusion
5m 10s krys/csr_refactor
krys/csr_refactor
5m 10s
Add non-rvfi upcnt CodeQL #220: Commit 4434e41 pushed by KrystalDelusion
1m 6s krys/csr_refactor
krys/csr_refactor
1m 6s
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