Update versions to match Kani 0.15.0 release (#16)

Update Kani and toolchain versions

Author: celinval

action.yml

@@ -29,16 +29,16 @@ runs:
     - name: Install Rust
       uses: actions-rs/toolchain@v1.0.7
       with:
-        # From https://github.com/model-checking/kani/blob/kani-0.14.1/rust-toolchain.toml
+        # From https://github.com/model-checking/kani/blob/kani-0.15.0/rust-toolchain.toml
         # Should be updated every time we update the version to keep in sync.
         # This should be automated https://github.com/model-checking/kani-github-action/issues/9
-        toolchain: nightly-2022-10-24
+        toolchain: nightly-2022-11-06
         override: true
 
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.14.1";
+        export KANI_VERSION="0.15.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;