github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-03-01 17:25:51 +00:00
Code Issues Releases Wiki Activity
475 Commits 11 Branches 9 Tags
serv-e
Commit Graph

4 Commits

Author SHA1 Message Date
Olof Kindgren
e97bdaf7a1 Update cad-suite GH action 2024-11-19 13:20:34 +01:00
Olof Kindgren
344940c655 Update to latest checkout GH action 2024-06-16 09:45:26 +02:00
Olof Kindgren
9bb2f95bf4 Tidy up GH Actions naming 2023-07-10 15:07:38 +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