alois/ManyCoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
21 Commits 1 Branch 0 Tags
f85c246fc52e6a78dce1147474934439ce14ea7a
Commit Graph
2 Commits
Author SHA1 Message Date
Gareth Latty f85c246fc5 Move to GitHub Actions for build. 2020-10-11 17:26:24 +01:00
Gareth Latty a4f7c0d2d5 Add issue templates, funding, and details for building. 2020-05-23 22:04:50 +01:00