Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #30

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #30

Triggered via push November 11, 2023 18:29
@PLukas2018PLukas2018
pushed 14b61b7
eqbench-analysis-with-ci
Status Failure
Total duration 3m 34s
Artifacts –

analysis.yml

on: push
EqBench
3m 23s
EqBench
Fit to window
Zoom out
Zoom in

Annotations

1 error
EqBench
Process completed with exit code 1.