asdf

aws · Oct 20, 2023 · 8ee2fde · 8ee2fde
1 parent 4f2d040
commit 8ee2fde
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/dafny_version.yaml b/.github/workflows/dafny_version.yaml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     outputs:
       dafnyVersion: ${{ steps.getVersion.outputs.version }}
-      description: "The dafny version stored in project properties"
+        description: "The dafny version stored in project properties"
     steps:
       # - id: something
       #   shell: bash
@@ -22,3 +22,7 @@ jobs:
         shell: bash
         run: |
           echo "version=4.2.0" >> "$GITHUB_OUTPUT"
+      - id: else
+        shell: bash
+        run: |
+          echo ${{ steps.getVersion.outputs.version }}