Fixes space for p4lang/p4rt-asciidoc (#536)

* Fixes space for p4lang/p4rt-asciidoc Signed-off-by: Dscano <[email protected]> * Add docker creation Signed-off-by: Dscano <[email protected]> --------- Signed-off-by: Dscano <[email protected]>
p4lang · Jan 24, 2025 · 8961b98 · 8961b98
1 parent 7e981d8
commit 8961b98
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/any-branch-uploads.yml b/.github/workflows/any-branch-uploads.yml
@@ -13,7 +13,8 @@ jobs:
     - uses: actions/checkout@v3
     - name: Build spec
       run: |
-        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc :latest make
+        make -C docs/tools/
+        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc make
         ls docs/v1/build
     - name: Upload spec to S3 if needed
       if: ${{ github.actor != 'dependabot[bot]' }}

diff --git a/.github/workflows/main-branch-uploads.yml b/.github/workflows/main-branch-uploads.yml
@@ -16,7 +16,8 @@ jobs:
         fetch-depth: 0
     - name: Build spec
       run: |
-        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc :latest make
+        make -C docs/tools/
+        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc make
         ls docs/v1/build
     - name: Upload spec to S3
       uses: jakejarvis/[email protected]

diff --git a/.github/workflows/tag-uploads.yml b/.github/workflows/tag-uploads.yml
@@ -18,7 +18,8 @@ jobs:
         fetch-depth: 0
     - name: Build spec
       run: |
-        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc :latest make
+        make -C docs/tools/
+        docker run -v `pwd`/docs/v1:/usr/src/p4-spec p4lang/p4rt-asciidoc make
         ls docs/v1/build
     - name: Upload spec to S3
       uses: jakejarvis/[email protected]