Skip to content

Actions: olofk/serv

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update cad-suite GH action
Run compliance test suite #396: Commit 4e0033b pushed by olofk
November 11, 2024 07:13 2m 50s formalci
November 11, 2024 07:13 2m 50s
Update cad-suite GH action
Formal verification #136: Commit 4e0033b pushed by olofk
November 11, 2024 07:13 5m 8s formalci
November 11, 2024 07:13 5m 8s
Update cad-suite GH action
Build GDS using OpenLANE and sky130 PDK #202: Commit 4e0033b pushed by olofk
November 11, 2024 07:13 3m 45s formalci
November 11, 2024 07:13 3m 45s
Update cad-suite GH action
Run linter #365: Commit 4e0033b pushed by olofk
November 11, 2024 07:13 26s formalci
November 11, 2024 07:13 26s
typo in README.md
Run compliance test suite #395: Commit 8ad248d pushed by olofk
November 11, 2024 06:43 3m 22s main
November 11, 2024 06:43 3m 22s
typo in README.md
Run linter #364: Commit 8ad248d pushed by olofk
November 11, 2024 06:43 22s main
November 11, 2024 06:43 22s
typo in README.md
Formal verification #135: Commit 8ad248d pushed by olofk
November 11, 2024 06:43 13s main
November 11, 2024 06:43 13s
typo in README.md
Build GDS using OpenLANE and sky130 PDK #201: Commit 8ad248d pushed by olofk
November 11, 2024 06:43 3m 52s main
November 11, 2024 06:43 3m 52s
Fix CSR width issues in debug module
Build GDS using OpenLANE and sky130 PDK #200: Commit cd60abe pushed by olofk
October 17, 2024 12:34 3m 53s main
October 17, 2024 12:34 3m 53s
Fix CSR width issues in debug module
Run compliance test suite #393: Commit cd60abe pushed by olofk
October 17, 2024 12:34 3m 1s main
October 17, 2024 12:34 3m 1s
Fix CSR width issues in debug module
Run linter #362: Commit cd60abe pushed by olofk
October 17, 2024 12:34 29s main
October 17, 2024 12:34 29s
Fix CSR width issues in debug module
Formal verification #134: Commit cd60abe pushed by olofk
October 17, 2024 12:34 5m 12s main
October 17, 2024 12:34 5m 12s
Move RVFI signals into serv_debug
Run linter #361: Commit 9bf8672 pushed by olofk
October 17, 2024 11:59 23s main
October 17, 2024 11:59 23s
Move RVFI signals into serv_debug
Build GDS using OpenLANE and sky130 PDK #199: Commit 9bf8672 pushed by olofk
October 17, 2024 11:59 3m 37s main
October 17, 2024 11:59 3m 37s
Move RVFI signals into serv_debug
Run compliance test suite #392: Commit 9bf8672 pushed by olofk
October 17, 2024 11:59 2m 54s main
October 17, 2024 11:59 2m 54s
Move RVFI signals into serv_debug
Formal verification #133: Commit 9bf8672 pushed by olofk
October 17, 2024 11:59 7m 1s main
October 17, 2024 11:59 7m 1s
Move RVFI signals into serv_debug
Build GDS using OpenLANE and sky130 PDK #198: Commit 0f45595 pushed by olofk
October 17, 2024 11:52 3m 51s trace
October 17, 2024 11:52 3m 51s
Move RVFI signals into serv_debug
Run compliance test suite #391: Commit 0f45595 pushed by olofk
October 17, 2024 11:52 3m 0s trace
October 17, 2024 11:52 3m 0s
Move RVFI signals into serv_debug
Formal verification #132: Commit 0f45595 pushed by olofk
October 17, 2024 11:52 5m 38s trace
October 17, 2024 11:52 5m 38s
Move RVFI signals into serv_debug
Run linter #360: Commit 0f45595 pushed by olofk
October 17, 2024 11:52 22s trace
October 17, 2024 11:52 22s
Add debug module
Formal verification #131: Commit 2bcf410 pushed by olofk
October 13, 2024 20:24 5m 0s main
October 13, 2024 20:24 5m 0s
Add debug module
Run linter #359: Commit 2bcf410 pushed by olofk
October 13, 2024 20:24 24s main
October 13, 2024 20:24 24s
Add debug module
Build GDS using OpenLANE and sky130 PDK #197: Commit 2bcf410 pushed by olofk
October 13, 2024 20:24 3m 33s main
October 13, 2024 20:24 3m 33s
Add debug module
Run compliance test suite #390: Commit 2bcf410 pushed by olofk
October 13, 2024 20:24 2m 48s main
October 13, 2024 20:24 2m 48s
WIP: works
Run compliance test suite #389: Commit cd99d76 pushed by olofk
October 12, 2024 21:16 2m 59s trace
October 12, 2024 21:16 2m 59s