Merge pull request #374 from climbfuji/feature/fms_2023p03_gcc12mpich… #1190

Job	Run time
shell	7m 56s
rhel8-platform-python	24m 27s
clingo-cffi	21m 30s
macos (3.10)	36m 12s
ubuntu (ubuntu-latest, 3.10, clingo, false)	37m 49s
ubuntu (3.10, ubuntu-latest, original, false)	20m 15s
ubuntu (3.6, ubuntu-20.04, clingo, false)	16m 39s
	2h 44m 48s

Provide feedback