Emilio Jesús Gallego Arias (Feb 12 2021 at 20:34): 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 :/
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.
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.
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?
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]
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
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
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