build Dockerfile as needed

Agoric · Nov 1, 2023 · 873fcbd · 873fcbd
1 parent 506703a
commit 873fcbd
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 225 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -31,6 +31,8 @@ jobs:
           df -h
       - uses: actions/checkout@v3
       - run: yarn global add tsx
+      - name: make Dockerfile
+        run: ./makeDockerfile.ts
       - name: build test images
         run: ./buildTestImages.ts
       - name: run test images

diff --git a/.gitignore b/.gitignore
@@ -128,3 +128,6 @@ dist
 .yarn/build-state.yml
 .yarn/install-state.gz
 .pnp.*
+
+# build in CI
+Dockerfile
diff --git a/Dockerfile b/Dockerfile