https://github.com/erikmd/docker-run-github-workflow-example

docker-coq-action example with custom_script and artifacts generation
https://github.com/erikmd/docker-run-github-workflow-example

Last synced: about 2 months ago
JSON representation

docker-coq-action example with custom_script and artifacts generation

• Host: GitHub
• URL: https://github.com/erikmd/docker-run-github-workflow-example
• Owner: erikmd
• License: mit
• Created: 2020-09-18T19:45:43.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-09-20T13:39:40.000Z (over 4 years ago)
• Last Synced: 2024-10-11T21:49:18.234Z (2 months ago)
• Language: Coq
• Homepage: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs/topic/CI.20docker.20images.3F/near/210667857
• Size: 3.91 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project