Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #29

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #29

Triggered via push November 11, 2023 18:18
@PLukas2018PLukas2018
pushed b16e448
eqbench-analysis-with-ci
Status Failure
Total duration 7m 36s
Artifacts –

analysis.yml

on: push
EqBench
7m 25s
EqBench
Fit to window
Zoom out
Zoom in

Annotations

1 error
EqBench
Process completed with exit code 1.