github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-03-02 01:30:24 +00:00
Code Issues Releases Wiki Activity
408 Commits 11 Branches 9 Tags
varibits
Commit Graph

5 Commits

Author SHA1 Message Date
Olof Kindgren
9bb2f95bf4 Tidy up GH Actions naming 2023-07-10 15:07:38 +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
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