Upgrade CI and fix satisfy matcher #93

Job	Run time
build-and-test (native, ubuntu-latest)	2m 5s
build-and-test (gcc-14, macos-14)	1m 42s
build-and-test (native, windows-latest)	4m 0s
build-and-test (gcc-14, macos-15)	2m 10s
build-and-test (llvm-20, macos-14)	1m 38s
build-and-test (llvm-20, windows-latest)	3m 14s
build-and-test (llvm-20, macos-15)	1m 57s
build-and-test (llvm-20, ubuntu-latest)	5s
build-and-test (gcc-14, ubuntu-latest)	2m 23s
build-and-test (native, macos-15)	1m 30s
Publish Tests Results	14s
	20m 58s

Provide feedback