Improve build instruction

lolepezy · Jun 12, 2023 · 858b7e3 · 858b7e3
1 parent 5a2c0db
commit 858b7e3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/DEVELOPER.md b/DEVELOPER.md
@@ -16,7 +16,11 @@ There is a value `currentDatabaseVersion` definted in `Database.hs`, that needs
 ## Docker build
 
 ```
-docker build . --file Dockerfile.prover --tag rpki-prover 
+export RELEASE=X.Y.Z 
+docker build . --file Dockerfile.prover --tag lolepezy/rpki-prover:${RELEASE} && \
+docker tag lolepezy/rpki-prover:${RELEASE} lolepezy/rpki-prover:latest && \
+docker push lolepezy/rpki-prover:${RELEASE} && \
+docker push lolepezy/rpki-prover:latest
 ```
 
 ## Building static Linux executable