Stream: jsCoq

Topic: Travis


view this post on Zulip Emilio Jesús Gallego Arias (Feb 12 2021 at 20:34):

I did allocate some time to see what was going with Travis, and indeed the main repos seems to be in some sort of limbo :/ not sure what is going on, maybe I will be able to migrate it; but anyways it is clear we have to migrate to a different CI platform rather soon :/

view this post on Zulip Shachar Itzhaky (Mar 03 2021 at 19:30):

Hey, did you find some time to look into GitHub actions? It would be easiest if we can just run our Dockerfile.

view this post on Zulip Emilio Jesús Gallego Arias (Mar 03 2021 at 20:19):

Didn't have time yet, but we can run he docker + other stuff easily.

view this post on Zulip Shachar Itzhaky (Mar 04 2021 at 09:36):

I couldn't find an option to just run one's own Dockerfile, but since they seem to support Docker in their Linux build environment, we can probably have a simple yaml config that has a single action and that action runs docker build?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 04 2021 at 15:57):

I guess so, in typical workflows I've seen you do docker login && docker build && docker push [an example in Coq's CI file, with a chck to avoid double rebuild]

view this post on Zulip Emilio Jesús Gallego Arias (Mar 04 2021 at 15:57):

There is this action https://github.com/marketplace/actions/build-and-push-docker-images but I am not familiar with it

view this post on Zulip Emilio Jesús Gallego Arias (Mar 04 2021 at 16:00):

There is also this https://docs.github.com/en/actions/creating-actions/creating-a-docker-container-action

view this post on Zulip Shachar Itzhaky (Mar 06 2021 at 12:29):

Emilio Jesús Gallego Arias said:

There is also this https://docs.github.com/en/actions/creating-actions/creating-a-docker-container-action

This was the one I was looking at but it seems to download an existing image and then run its ENTRYPOINT. The use case is not quite clear to me. But I will look at the build-and-push action.


Last updated: Jan 30 2023 at 17:03 UTC