search

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
MIT License
12 stars 4 forks source link

Wish: Export build artifacts #84

Closed liyishuai closed 1 year ago

liyishuai commented 1 year ago

It might be useful to export the build artifacts to outside the docker, and uploading it to GitHub: https://github.com/actions/upload-artifact

For example, Coqdocs: https://github.com/coq-community/coq-ext-lib/blob/b3c05e7070882c774d5761efe4cf181873996fca/.circleci/config.yml#L38-L44

erikmd commented 1 year ago

Hi @liyishuai

This is already possible with a vanilla setup of docker-coq-action, I had documented this here:

https://github.com/coq-community/docker-coq-action#artifacts

Is it enough for your use case?

liyishuai commented 1 year ago

Yes that addresses my issue. Thanks!