Skip to content

Move solver issue and timeout listings to the test-set themselves #148

Move solver issue and timeout listings to the test-set themselves

Move solver issue and timeout listings to the test-set themselves #148

Triggered via pull request December 7, 2023 18:30
Status Success
Total duration 1m 37s
Artifacts

ci.yml

on: pull_request