Skip to content

Actions: YosysHQ/riscv-formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
727 workflow runs
727 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #235: Scheduled
1m 8s main
main
1m 8s
ci ci #1293: Scheduled
20m 25s main
main
20m 25s
Post merge fixes ci #1292: Commit a5e97b4 pushed by jix
5m 10s jix/merged
jix/merged
5m 10s
Post merge fixes CodeQL #234: Commit a5e97b4 pushed by jix
1m 11s jix/merged
jix/merged
1m 11s
CodeQL CodeQL #233: Scheduled
1m 3s main
main
1m 3s
ci ci #1291: Scheduled
18m 46s main
main
18m 46s
CodeQL CodeQL #232: Scheduled
1m 10s main
main
1m 10s
ci ci #1290: Scheduled
18m 47s main
main
18m 47s
CodeQL CodeQL #231: Scheduled
1m 3s main
main
1m 3s
ci ci #1289: Scheduled
21m 57s main
main
21m 57s
CodeQL CodeQL #230: Scheduled
1m 3s main
main
1m 3s
Special handling for HPM CSRs ci #1288: Commit 42b4b73 pushed by KrystalDelusion
5m 30s krys/csr_refactor
krys/csr_refactor
5m 30s
Special handling for HPM CSRs CodeQL #229: Commit 42b4b73 pushed by KrystalDelusion
1m 6s krys/csr_refactor
krys/csr_refactor
1m 6s
ci ci #1287: Scheduled
18m 5s main
main
18m 5s
csr_ill_check from Python ci #1286: Commit 51b5d20 pushed by KrystalDelusion
5m 21s krys/csr_refactor
krys/csr_refactor
5m 21s
csr_ill_check from Python CodeQL #228: Commit 51b5d20 pushed by KrystalDelusion
1m 13s krys/csr_refactor
krys/csr_refactor
1m 13s
CodeQL CodeQL #227: Scheduled
1m 10s main
main
1m 10s
ci ci #1285: Scheduled
19m 58s main
main
19m 58s
Add CSR set/clear checks for non RVFI CodeQL #226: Commit b3f98ee pushed by KrystalDelusion
1m 10s krys/csr_refactor
krys/csr_refactor
1m 10s
Add CSR set/clear checks for non RVFI ci #1284: Commit b3f98ee pushed by KrystalDelusion
5m 48s krys/csr_refactor
krys/csr_refactor
5m 48s
CodeQL CodeQL #225: Scheduled
1m 4s main
main
1m 4s
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