fix #86

Job	Run time
Test Non-Patmos	1h 53m 10s
Build, Test, and Package (ubuntu-latest)	2h 56m 54s
Build, Test, and Package (ubuntu-24.04)	1m 48s
Build, Test, and Package (ubuntu-22.04)	2h 53m 17s
Build, Test, and Package (ubuntu-20.04)	3h 5m 43s
Build, Test, and Package (macos-latest)	1h 54m 17s
Build, Test, and Package (macos-14)	1h 54m 33s
Build, Test, and Package (macos-14-large)	1s
Build, Test, and Package (macos-13-xlarge)	1s
Build, Test, and Package (macos-13)	2h 22m 48s
Build, Test, and Package (macos-12)	3h 12m 46s
Test Benchmarks (${{ matrix.platform }})	0s
Release (${{ matrix.platform }})	0s
	20h 15m 18s

Provide feedback