update z3 version #39

	name: Test action
	on:
	pull_request:
	push:
	branches:
	- main

	jobs:
	tests:
	runs-on: ${{ matrix.os }}
	defaults:
	run:
	shell: bash
	strategy:
	fail-fast: true
	matrix:
	os:
	#- macos-12
	- self-hosted
	# TODO: return windows back when it supported
	# - windows-latest
	steps:
	- uses: actions/checkout@v2
	- name: Cache
	uses: actions/cache@v2
	with:
	path: ~/.aptos
	key: ${{ runner.os }}-aptos

	- name: download latest version
	uses: ./
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	- name: test
	run: aptos -V
	# TODO: Fix when there is a clear versioning and naming system for releases
	# - name: download 0.1.1 version
	# uses: ./
	# with:
	# version: aptos-cli-v0.1.1
	# token: ${{ secrets.GITHUB_TOKEN }}
	# - name: test
	# run: aptos -V
	# - name: download prerelease
	# uses: ./
	# with:
	# token: ${{ secrets.GITHUB_TOKEN }}
	# prerelease: "true"
	# - name: test
	# run: aptos -V
	- name: Install Move prover tools
	uses: ./
	with:
	prover: "true"
	- name: Check Prove
	run: \|
	git clone https://github.com/pontem-network/uq64x64.git
	cd uq64x64
	aptos move prove

Provide feedback