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

2.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink