Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #25

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #25

Triggered via push November 11, 2023 17:06
@PLukas2018PLukas2018
pushed 4baba48
eqbench-analysis-with-ci
Status Failure
Total duration 2m 55s
Artifacts –

analysis.yml

on: push
EqBench
2m 47s
EqBench
Fit to window
Zoom out
Zoom in

Annotations

1 error
EqBench
Process completed with exit code 1.