alois/CoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
de7a09ce5b565b97f7377abff5328f869096dccb
CoqDecks/.github/workflows
T
History
Gareth Latty f817229b59 Replace deprecated GitHub action.
2020-12-31 01:25:27 +00:00
..
build.yml
Replace deprecated GitHub action.
2020-12-31 01:25:27 +00:00