Evaluation

chore: Instcombine tailor to automata #189

Sign in to view logs

Triggered via pull request February 4, 2025 09:42

bollu

opened #996

instcombine-tailor-to-automata

Status Cancelled

Total duration 1m 5s

Artifacts –

evaluation.yml

on: pull_request

Evaluation of Tactics & Decision Procedures

Annotations

1 error

Evaluation of Tactics & Decision Procedures

Canceling since a higher priority waiting request for 'Evaluation-996' exists