Skip to content

Actions: YosysHQ/riscv-formal

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
501 workflow runs
501 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add B extension (Zba, Zbb, Zbs) ci #862: Pull request #29 synchronize by KrystalDelusion
October 13, 2024 19:34 1m 15s krys/b-extension
krys/b-extension
October 13, 2024 19:34 1m 15s
Disable csr spec tests ci #861: Commit fb3b7a8 pushed by KrystalDelusion
October 13, 2024 19:33 17m 24s krys/b-extension
krys/b-extension
October 13, 2024 19:33 17m 24s
Working B instructions ci #860: Commit 886e837 pushed by KrystalDelusion
October 13, 2024 19:23 9m 57s krys/nerv64
krys/nerv64
October 13, 2024 19:23 9m 57s
Add B extension (Zba, Zbb, Zbs) ci #859: Pull request #29 opened by KrystalDelusion
October 13, 2024 19:18 10m 26s krys/b-extension
krys/b-extension
October 13, 2024 19:18 10m 26s
Fixing some 64 bit instructions ci #858: Commit c00c768 pushed by KrystalDelusion
October 13, 2024 19:14 10m 30s krys/b-extension
krys/b-extension
October 13, 2024 19:14 10m 30s
ci ci #857: Scheduled
October 13, 2024 02:36 19m 38s main
main
October 13, 2024 02:36 19m 38s
SERV: Add debug module ci #856: Pull request #28 opened by olofk
October 12, 2024 21:00 20m 2s olofk:serv
olofk:serv
October 12, 2024 21:00 20m 2s
ci ci #855: Scheduled
October 12, 2024 02:28 19m 56s main
main
October 12, 2024 02:28 19m 56s
ci ci #854: Scheduled
October 11, 2024 02:31 19m 38s main
main
October 11, 2024 02:31 19m 38s
ci ci #853: Scheduled
October 10, 2024 02:32 20m 59s main
main
October 10, 2024 02:32 20m 59s
ci ci #852: Scheduled
October 9, 2024 02:31 19m 43s main
main
October 9, 2024 02:31 19m 43s
ci ci #851: Scheduled
October 8, 2024 02:35 20m 18s main
main
October 8, 2024 02:35 20m 18s
ci ci #850: Scheduled
October 7, 2024 02:35 4h 4m 3s main
main
October 7, 2024 02:35 4h 4m 3s
ci ci #849: Scheduled
October 6, 2024 02:36 20m 36s main
main
October 6, 2024 02:36 20m 36s
ci ci #848: Scheduled
October 5, 2024 02:29 20m 20s main
main
October 5, 2024 02:29 20m 20s
ci ci #847: Scheduled
October 4, 2024 02:32 19m 50s main
main
October 4, 2024 02:32 19m 50s
ci ci #846: Scheduled
October 3, 2024 02:32 19m 47s main
main
October 3, 2024 02:32 19m 47s
ci ci #845: Scheduled
October 2, 2024 02:31 3h 46m 14s main
main
October 2, 2024 02:31 3h 46m 14s
ci ci #844: Scheduled
October 1, 2024 02:41 19m 59s main
main
October 1, 2024 02:41 19m 59s
ci ci #843: Scheduled
September 30, 2024 02:38 19m 32s main
main
September 30, 2024 02:38 19m 32s
ci ci #842: Scheduled
September 29, 2024 02:37 20m 9s main
main
September 29, 2024 02:37 20m 9s
ci ci #841: Scheduled
September 28, 2024 02:30 22m 0s main
main
September 28, 2024 02:30 22m 0s
ci ci #840: Scheduled
September 27, 2024 02:32 19m 18s main
main
September 27, 2024 02:32 19m 18s
ci ci #839: Scheduled
September 26, 2024 02:31 20m 20s main
main
September 26, 2024 02:31 20m 20s
ci ci #838: Scheduled
September 25, 2024 02:33 20m 15s main
main
September 25, 2024 02:33 20m 15s