This repository was archived by the owner on Apr 12, 2024. It is now read-only.
This repository was 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
Description
The commands to publish an image are described here: https://github.com/lampepfl/dotty-ci#dotty-docker-image
Metadata
Metadata
Assignees
Labels
No labels