Skip to content
Evaluation

chore: Instcombine tailor to automata #192

Sign in to view logs

chore: Instcombine tailor to automata

chore: Instcombine tailor to automata #192

Triggered via pull request February 4, 2025 11:58
@bollubollu
synchronize #996
instcombine-tailor-to-automata
Status Failure
Total duration 1h 44m 0s
Artifacts –

evaluation.yml

on: pull_request
Evaluation of Tactics & Decision Procedures
1h 43m
Evaluation of Tactics & Decision Procedures
Fit to window
Zoom out
Zoom in

Annotations

1 error
Evaluation of Tactics & Decision Procedures
Process completed with exit code 1.