Coverage report per module breakdown #104

	name: Build and Test Dafny Runtimes

	on:
	workflow_dispatch:
	pull_request:
	branches: [ master, main-* ]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	check-deep-tests:
	uses: ./.github/workflows/check-deep-tests-reusable.yml

	build:
	needs: check-deep-tests
	if: always() && (( github.event_name == 'pull_request' && (needs.check-deep-tests.result == 'success' \|\| contains(github.event.pull_request.labels.*.name, 'run-deep-tests'))) \|\| ( github.event_name == 'push' && ( github.ref_name == 'master' \|\| vars.TEST_ON_FORK == 'true' )))

	runs-on: ubuntu-latest

	steps:
	- name: Checkout Dafny
	uses: actions/checkout@v4
	with:
	submodules: true
	- name: Set up JDK 18
	uses: actions/setup-java@v3
	with:
	java-version: 18
	distribution: corretto
	- name: Build Dafny
	run: dotnet build Source/Dafny.sln
	- name: Get Z3
	run: make z3-ubuntu
	- name: Test DafnyCore
	run: \|
	cd ./Source/DafnyCore
	make test
	make check-format
	- name: Test DafnyRuntime (C#)
	run: \|
	cd ./Source/DafnyRuntime
	make all
	- name: Test DafnyRuntimeDafny
	run: \|
	cd ./Source/DafnyRuntime/DafnyRuntimeDafny
	make all
	- name: Test DafnyRuntimeGo
	run: \|
	cd ./Source/DafnyRuntime/DafnyRuntimeGo
	make all
	- name: Test DafnyRuntimeJava
	run: \|
	cd ./Source/DafnyRuntime/DafnyRuntimeJava
	make all
	- name: Test DafnyRuntimePython
	run: \|
	cd ./Source/DafnyRuntime/DafnyRuntimePython
	make all
	- name: Test DafnyRuntimeJs
	run: \|
	cd ./Source/DafnyRuntime/DafnyRuntimeJs
	make all

Provide feedback