Fix action for pushing images to github

veraPDF · Oct 2, 2023 · 2d8476b · 2d8476b
1 parent d48245a
commit 2d8476b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/push-github.yml b/.github/workflows/push-github.yml
@@ -35,6 +35,7 @@ jobs:
           context: .
           push: true
           file: Dockerfile
+          build-args: GH_CHECKOUT=integration
           tags: ghcr.io/verapdf/rest:dev
           labels: ${{ steps.meta.outputs.labels }}
 
diff --git a/src/main/java/org/verapdf/rest/resources/ApiResource.java b/src/main/java/org/verapdf/rest/resources/ApiResource.java
@@ -36,8 +36,9 @@
 		description = "Rest API for veraPDF",
 		version = "V0.2.0",
 		license = @License(name = "Apache 2.0", url = "https://www.apache.org/licenses/LICENSE-2.0")),
-                   servers = {@Server(url = "https://demo.verapdf.org", description = "default"),
-                              @Server(url = "http://localhost:8080", description = "local")}
+                   servers = {@Server(url = "https://demo.verapdf.org", description = "default"), 
+						   @Server(url = "https://dev.verapdf-rest.duallab.com", description = "dev"), 
+						   @Server(url = "http://localhost:8080", description = "local")}
 )
 
 public final class ApiResource {