Add nightly run

.github/workflows/verification.yaml

@@ -0,0 +1,32 @@
+name: Verification tests
+
+on:
+  workflow_dispatch: # To start from UI
+  schedule:
+    - cron: "12 0 * * *" # 00:12am UTC daily
+
+env:
+  REPOSITORY_OWNER: ${{ github.repository_owner }}
+  GHCR_REGISTRY: "ghcr.io"
+  GHCR_REGISTRY_USERNAME: ${{ github.actor }}
+  GHCR_REGISTRY_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+jobs:
+  build:
+    # prevent running on forks
+    if: github.repository_owner == 'restatedev'
+    runs-on: warp-ubuntu-latest-x64-16x # warpbuild runner
+    timeout-minutes: 250 
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Log into GitHub container registry
+        uses: docker/login-action@v2
+        with:
+          registry: ${{ env.GHCR_REGISTRY }}
+          username: ${{ env.GHCR_REGISTRY_USERNAME }}
+          password: ${{ env.GHCR_REGISTRY_TOKEN }}
+
+      - run: ./run.sh
+        working-directory: scripts 

scripts/run.sh

@@ -20,6 +20,8 @@ export INTERPRETER_DRIVER_CONF=$(cat <<-EOF
 EOF
 )
 
+docker pull ghcr.io/restatedev/e2e-verification-runner:main
+
 docker run \
 	--net host\
 	-v /var/run/docker.sock:/var/run/docker.sock	\
@@ -31,3 +33,4 @@ docker run \
 	--env INTERPRETER_DRIVER_CONF \
 	ghcr.io/restatedev/e2e-verification-runner:main 2>&1 | grep -v "undefined is not a number, but it still has feelings"
 
+