CI: invoke sunfish via python in quick_tests and make sunfish.py executable#131
Merged
thomasahle merged 1 commit intomasterfrom Mar 13, 2026
Merged
CI: invoke sunfish via python in quick_tests and make sunfish.py executable#131thomasahle merged 1 commit intomasterfrom
thomasahle merged 1 commit intomasterfrom