Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

Awesome Lists containing this project