Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #15

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #15

Triggered via push November 11, 2023 01:51
@PLukas2018PLukas2018
pushed a766617
eqbench-analysis-with-ci
Status Failure
Total duration 12s
Artifacts –

analysis.yml

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

Annotations

1 error
EqBench
Process completed with exit code 128.