Skip to content

Actions: YosysHQ/riscv-formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #1265: Scheduled
18m 26s main
main
18m 26s
Move rvfi channel to generic checker CodeQL #206: Commit 9593cc3 pushed by KrystalDelusion
2m 22s krys/sail_tests
krys/sail_tests
2m 22s
Move rvfi channel to generic checker ci #1264: Commit 9593cc3 pushed by KrystalDelusion
7m 39s krys/sail_tests
krys/sail_tests
7m 39s
CodeQL CodeQL #205: Scheduled
1m 39s main
main
1m 39s
ci ci #1263: Scheduled
18m 43s main
main
18m 43s
CodeQL CodeQL #204: Scheduled
1m 10s main
main
1m 10s
ci ci #1262: Scheduled
18m 23s main
main
18m 23s
CodeQL CodeQL #203: Scheduled
1m 7s main
main
1m 7s
ci ci #1261: Scheduled
18m 15s main
main
18m 15s
CodeQL CodeQL #202: Scheduled
1m 12s main
main
1m 12s
Add misa faults CodeQL #201: Commit 703fead pushed by KrystalDelusion
1m 11s krys/sail_tests
krys/sail_tests
1m 11s
Add misa faults ci #1260: Commit 703fead pushed by KrystalDelusion
5m 28s krys/sail_tests
krys/sail_tests
5m 28s
ci ci #1259: Scheduled
18m 17s main
main
18m 17s
CodeQL CodeQL #200: Scheduled
1m 11s main
main
1m 11s
ci ci #1258: Scheduled
18m 10s main
main
18m 10s
CodeQL CodeQL #199: Scheduled
1m 18s main
main
1m 18s
ci ci #1257: Scheduled
18m 20s main
main
18m 20s
Moving sail things out of the base model ci #1256: Commit 9cb89bd pushed by KrystalDelusion
5m 1s krys/sail_tests
krys/sail_tests
5m 1s
Moving sail things out of the base model CodeQL #198: Commit 9cb89bd pushed by KrystalDelusion
1m 7s krys/sail_tests
krys/sail_tests
1m 7s
CodeQL CodeQL #197: Scheduled
1m 18s main
main
1m 18s
ci ci #1255: Scheduled
18m 26s main
main
18m 26s
CodeQL CodeQL #196: Scheduled
1m 6s main
main
1m 6s
ci ci #1254: Scheduled
18m 33s main
main
18m 33s
CodeQL CodeQL #195: Scheduled
1m 8s main
main
1m 8s
ci ci #1253: Scheduled
18m 54s main
main
18m 54s