[Feature] `prove * using *` command for incremental proof constructio… #2444

	name: CI on Ubuntu

	on: [push, pull_request]

	jobs:
	Build-And-Test-Ubuntu:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1
	- name: Setup .NET Core
	uses: actions/setup-dotnet@v1
	with:
	dotnet-version: 8.0.x
	- name: Set up JDK
	uses: actions/setup-java@v1
	with:
	java-version: 11
	- name: Cache Maven packages
	uses: actions/cache@v2
	with:
	path: ~/.m2
	key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
	restore-keys: ${{ runner.os }}-m2
	- name: Build Java P runtime
	run: mvn clean package -f Src/PRuntimes/PJavaRuntime
	- name: Build
	run: dotnet build --configuration Release
	- name: Test
	run: dotnet test --configuration Release

Provide feedback