Olof Kindgren 37724d8d9f Fix Github actions ...

Repair the lint and CI actions. Add formal verification.

2023-05-07 22:33:49 +02:00

..

ci.yml

GitHub actions for updated Compliance testing

2022-12-25 21:23:51 +01:00

formal.yml

Fix Github actions

2023-05-07 22:33:49 +02:00

lint.yml

Fix Github actions

2023-05-07 22:33:49 +02:00

openlane.yml

Store GDS file as artifact after OpenLANE build

2022-01-21 00:11:32 +01:00

pages.yml

Build website automatically and publish to gh-pages

2021-04-18 21:07:27 +02:00