Skip to content

Commit

Permalink
increase timeout for powerset solution
Browse files Browse the repository at this point in the history
  • Loading branch information
kostmo committed Sep 7, 2023
1 parent fd22d60 commit 34969a2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/integration/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -228,7 +228,7 @@ testScenarioSolutions rs ui =
, testGroup
"Ranching"
[ testSolution Default "Challenges/Ranching/capture"
, testSolution (Sec 5) "Challenges/Ranching/powerset"
, testSolution (Sec 10) "Challenges/Ranching/powerset"
, testSolution (Sec 30) "Challenges/Ranching/gated-paddock"
]
, testGroup
Expand Down

0 comments on commit 34969a2

Please sign in to comment.