feat: changes made to evaluation runner of width-generic tactics #218
Triggered via pull request
February 7, 2025 10:26
bollu
Status
Success
Total duration
3h 35m 26s
Artifacts
–
evaluation.yml
on: pull_request
Evaluation of Tactics & Decision Procedures
1h 48m