https://github.com/erikmd/action-docker-coq

WIP
https://github.com/erikmd/action-docker-coq

Last synced: about 2 months ago
JSON representation

WIP

• Host: GitHub
• URL: https://github.com/erikmd/action-docker-coq
• Owner: erikmd
• Created: 2020-02-28T11:55:53.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-28T11:55:54.000Z (almost 5 years ago)
• Last Synced: 2024-10-11T21:49:18.080Z (2 months ago)
• Size: 0 Bytes
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project