Add REVNUMBER environment variable in CI (#1848)

fixes #1847
modelica · Jan 31, 2023 · 7b76a85 · 7b76a85
1 parent 224382d
commit 7b76a85
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/build-spec.yml b/.github/workflows/build-spec.yml
@@ -56,13 +56,14 @@ jobs:
         name: schema-figures
         path: docs/images/schema
 
-    - name: List variables
+    - name: Generate revnumber
       run: |
         [[ $GITHUB_REF_TYPE == "tag" ]] && REVNUMBER=${GITHUB_REF:11} || REVNUMBER=${GITHUB_SHA:0:7}
         echo GITHUB_SHA:      $GITHUB_SHA
         echo GITHUB_REF_TYPE: $GITHUB_REF_TYPE
         echo GITHUB_REF:      $GITHUB_REF
         echo REVNUMBER:       $REVNUMBER
+        echo "REVNUMBER=$REVNUMBER" >> $GITHUB_ENV
 
     - name: Create build directory
       run: |
@@ -73,7 +74,7 @@ jobs:
     - name: Generate HTML
       uses: avattathil/asciidoctor-action@master
       with:
-        program: "asciidoctor --base-dir . --destination-dir=build --backend=html5 --attribute=revnumber=$REVNUMBER --attribute=revdate=$(date +%F) docs/index.adoc"
+        program: "asciidoctor --base-dir . --destination-dir=build --backend=html5 --attribute=revnumber=${{ env.REVNUMBER }} --attribute=revdate=$(date +%F) docs/index.adoc"
 
     - name: Copy resources
       run: |