Merge pull request #1718 from CQCL/ae/synthtkcond #6333

Job	Run time
Check tket library version	24s
Build and test pytket (macos) (macos-13)	12m 56s
Build and test pytket (windows)	13m 31s
Build and test pytket (ubuntu)	13m 20s
Build and test (tket) (ubuntu-24.04)	3m 54s
Build and test pytket (macos) (macos-15)	8m 57s
Build and test (tket) (macos-13)	4m 53s
Build and test (tket) (windows-2022)	21m 12s
Build and test (tket) (macos-15)	2m 24s
Check documentation build	54s
Check C++ code formatting	23s
Check pytket line and branch coverage	0s
Publish pytket coverage	31s
All build and test jobs successful (or skipped)	1s
	1h 23m 20s

Provide feedback