Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #24

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #24

Triggered via push November 11, 2023 17:04
@PLukas2018PLukas2018
pushed abfa9e6
eqbench-analysis-with-ci
Status Failure
Total duration 20s
Artifacts –

analysis.yml

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

Annotations

1 error
EqBench
Process completed with exit code 128.