Update extension-tests workflow to include DisjunctiveProgramming#3597
Merged
odow merged 1 commit intojump-dev:masterfrom pulsipher:patch-1Dec 6, 2023
+1
extension-tests workflow to include DisjunctiveProgramming#3597