github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-03-06 10:43:23 +00:00
Code Issues Releases Wiki Activity
383 Commits 11 Branches 9 Tags
6893791d01c555ea0386cb6ffeeaf4ac65c033a3
Commit Graph

3 Commits

Author SHA1 Message Date
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
109acd0a53 Prepare for release 2022-12-25 22:04:52 +01:00
Abdulwadoodd
41ae06f6cf Update Compliance testing framework 2022-12-25 21:23:51 +01:00