Remove unnecessary tools folder during build #22

	name: Build Linux and Android

	on:
	push:
	tags:
	- 'v[0-9]+.[0-9]+.[0-9]+'
	branches: [ "2.0-master", "wasm_devel" ]
	pull_request:
	branches: [ "2.0-master" ]

	jobs:

	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Detect tag
	if: startsWith(github.ref, 'refs/tags/')
	run: echo "TRAVIS_TAG=$GITHUB_REF_NAME" >> $GITHUB_ENV
	- name: Retrieve the secret and decode it to a file
	env:
	MY_KEYSTORE_BASE64: ${{ secrets.MY_KEYSTORE_BASE64 }}
	run: \|
	echo $MY_KEYSTORE_BASE64 \| base64 --decode > my.keystore

	- name: Delete huge unnecessary tools folder
	run: rm -rf /opt/hostedtoolcache
	- name: Install dependencies
	run: bash travis/install_dependencies.bash
	- name: Build client
	env:
	KEYSTORE_PWD: ${{ secrets.KEYSTORE_PWD }}
	run: bash travis/build_client.bash
	- name: Build server
	run: source env/bin/activate; bash travis/build_and_deploy_server.bash
	- name: Deploy client
	run: bash travis/deploy_client.bash

Provide feedback