Remove github action version check (rust-lang#1907)

We currently have a circular dependency. The action repository cannot be on the same version as Kani by the time we run the release workflow.

The github action CI enforces that the tracking version has been released. So we can't really update the github action until the release is complete.

Author: celinval

.github/workflows/release.yml

@@ -19,12 +19,6 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v2
 
-      - name: Check action code
-        uses: actions/checkout@v2
-        with:
-            repository: model-checking/kani-github-action
-            path: kani-action
-
       - name: Get version
         run: |
           # pkgid is something like file:///home/ubuntu/kani#kani-verifier:0.1.0
@@ -42,12 +36,6 @@ jobs:
             echo "Git tag ${{env.TAG_VERSION}} did not match crate version ${{env.CRATE_VERSION}}"
             exit 1
           fi
-          # Check the action script's tag.
-          if ! grep -F "KANI_VERSION=\"${{ env.TAG_VERSION }}" kani-action/action.yml; then
-            echo "Git tag ${{env.TAG_VERSION}} did not match version in action.yml. Found:"
-            grep -F "KANI_VERSION=" kani-action/action.yml
-            exit 1;
-          fi
 
       - name: Create release
         id: create_release