This repository has been archived by the owner on Apr 12, 2024. It is now read-only.

Add GitHub Actions workflow to publish a Docker image to Dockerhub automatically on commit to `main` #25

Open

anatoliykmetyuk opened this issue Nov 7, 2023 · 0 comments

Contributor

anatoliykmetyuk commented Nov 7, 2023

The commands to publish an image are described here: https://github.com/lampepfl/dotty-ci#dotty-docker-image

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.