Skip to content
Evaluation

feat: changes made to evaluation runner of width-generic tactics (#1001) #219

Sign in to view logs

feat: changes made to evaluation runner of width-generic tactics (#1001)

feat: changes made to evaluation runner of width-generic tactics (#1001) #219

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Evaluation of Tactics & Decision Procedures
59m 53s
59m 53s