github-mirrors/serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2025-04-22 12:57:09 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
408 commits 8 branches 8 tags 17 MiB
Commit graph

15 commits

Author SHA1 Message Date
Olof Kindgren
9bb2f95bf4 Tidy up GH Actions naming 2023-07-10 15:07:38 +02:00
Olof Kindgren
c6e5053c78 Clean up RISCOF support structure 
The RISCOF regression test suite can now be run from a workspace instead
of having to be run from inside the repo. Also removes the need for a
submodule.
 2023-07-10 15:06:13 +02:00
Olof Kindgren
cd3b587364 Add linting for servant and serving to Github actions 2023-06-22 15:49:04 +02:00
Olof Kindgren
37724d8d9f Fix Github actions 
Repair the lint and CI actions. Add formal verification.
 2023-05-07 22:33:49 +02:00
Abdulwadoodd
04991380df GitHub actions for updated Compliance testing 2022-12-25 21:23:51 +01:00
Olof Kindgren
efe8ba832a Set up Github CI testing matrix for compliance tests 2022-07-26 00:28:53 +02:00
Olof Kindgren
2611c89cbe Update support for compliance tests version 2.7.4 2022-06-13 12:02:27 +00:00
Olof Kindgren
b74344bb48 Store GDS file as artifact after OpenLANE build 2022-01-21 00:11:32 +01:00
Olof Kindgren
b15b5ed652 Add Github action to build with openlane+sky130 2021-08-30 22:13:42 +02:00
Olof Kindgren
64ac4d6eb5 Fix badges 2021-08-09 16:35:31 +02:00
Olof Kindgren
eb50f8c83c Fix Github CI action 2021-08-09 16:14:52 +02:00
Olof Kindgren
1acd829f83 Fix CI after branch renaming 2021-05-05 15:32:02 +02:00
Stefan Wallentowitz
cfb779d3d6 CI Lint with librecores github action linter 
Add the librecores linter, that also does proper annotation to the
source code.
 2021-04-18 23:02:04 +02:00
Stefan Wallentowitz
5c303f46b4 Build website automatically and publish to gh-pages 2021-04-18 21:07:27 +02:00
Kevin Läufer
d7e9b39c13 automate RISC-V compliance check with github actions 2020-12-06 22:54:04 +01:00