Use release in gen mani action

.github/workflows/generate-manifests-demos.yaml

@@ -1,6 +1,10 @@
 name: Generate manifests for demo
 on: [push]
 
+env:
+  USE_RELEASE: true
+  RELEASE_TAG: v0.1.0
+
 jobs:
   build-and-run:
     runs-on: ubuntu-latest
@@ -13,7 +17,25 @@ jobs:
           git config --global user.name 'Bot'
           git config --global user.email '[email protected]'
 
+      - name: Download mani-diffy binary
+        if: env.USE_RELEASE == 'true'
+        uses: actions/github-script@v5
+        with:
+          script: |
+            const { owner, repo } = context.repo
+            const release = await github.rest.repos.getReleaseByTag({
+              owner,
+              repo,
+              tag: core.getInput('release_tag')
+            })
+            const asset = release.data.assets.find(asset => asset.name === 'mani-diffy')
+            const downloadUrl = asset.browser_download_url
+            await exec.exec('wget', ['-O', 'mani-diffy', downloadUrl])
+            await exec.exec('chmod', ['+x', 'mani-diffy'])
+          release_tag: ${{ env.RELEASE_TAG }}
+
       - name: Compile
+        if: env.USE_RELEASE == 'false'
         run: |
           make build-binaries