github.com/olofk.serv
1
0
Fork 0
mirror of https://github.com/olofk/serv.git synced 2026-03-07 02:59:18 +00:00
Code Issues Releases Wiki Activity
Files
d7006634cb70f38db0bbe12f11e419bd527e7c27
olofk.serv/.github
History
Olof Kindgren 37724d8d9f Fix Github actions 
Repair the lint and CI actions. Add formal verification.
2023-05-07 22:33:49 +02:00
..
workflows
Fix Github actions
2023-05-07 22:33:49 +02:00