diff --git a/.github/workflows/verification.yaml b/.github/workflows/verification.yaml new file mode 100644 index 0000000..c71f179 --- /dev/null +++ b/.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 diff --git a/scripts/run.sh b/scripts/run.sh index df2ea2d..14de9b8 100755 --- a/scripts/run.sh +++ b/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" +