[Core] Optimize allocation and MPI management in #11719 #794

	name: CI

	# this is required to satisfy the required checks by replacing them with dummy checks
	# see https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks

	on:
	pull_request:
	merge_group:
	branches:
	- master
	paths: # This must be the same as .github/workflows/ci.yml - "paths-ignore" !
	- '**.md'
	- 'documents/**'
	- 'scripts/**'
	- '.github/workflows/ci-dummy.yml'
	- '.github/workflows/build_docker_image*.yml'
	- '.github/workflows/nightly_build.yml'
	- 'kratos/templates/**'
	- 'kratos/python_scripts/application_generator/**'
	- 'docs/**'
	- '.github/workflows/jekyll-gh-pages.yml'

	permissions:
	contents: read

	jobs:
	ubuntu:
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	build-type: [Custom, FullDebug]
	compiler: [gcc, clang]
	steps:
	- run: 'echo "Dummy build, no checks executed ..."'

	windows:
	runs-on: ubuntu-latest # ubuntu is faster than Win, hence no point using Win here

	steps:
	- run: 'echo "Dummy build, no checks executed ..."'

Provide feedback