wip: nightly verus snapshot check

.github/workflows/nightly-snapshot-refresh.yml

@@ -0,0 +1,48 @@
+name: NightlySnapshotCheck
+
+on:
+  # Run either manually upon being dispatched by user
+  workflow_dispatch:
+  # Or on push to verus-snapshot branch
+  push:
+    branches:
+      - verus-snapshot
+  # Or on schedule, once every night
+  # schedule:
+  #   - cron: '0 0 * * *'  # Run every night at midnight UTC
+
+jobs:
+  nightly-check:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v4
+
+    - name: Run script and check for changes
+      id: nightly-check
+      run: |
+        cd examples/verus-snapshot
+        ./get_latest.sh
+        if git diff --exit-code; then
+          echo "No changes"
+          echo "changes=false" >> $GITHUB_OUTPUT
+        else
+          echo "Changes found"
+          echo "changes=false" >> $GITHUB_OUTPUT
+        fi
+
+    - name: Report creation of pull request
+      if: ${{ steps.nightly-check.outputs.changes }}
+      run: |
+        echo "Changes found"
+
+    # - name: Create Pull Request
+    #   if: ${{ steps.nightly-check.outputs.changes }}
+    #   uses: peter-evans/create-pull-request@v6
+    #   with:
+    #     commit-message: "Update to latest Verus snapshot"
+    #     title: "Verus snapshot update"
+    #     body: "Automated nightly update by GitHub Actions."
+    #     branch: nightly-update
+    #     base: main