Skip to content
Analysis of DiffKemp equivalence checking

Merge branch 'viktormalik:master' into eqbench-analysis-with-ci #33

Sign in to view logs

Merge branch 'viktormalik:master' into eqbench-analysis-with-ci

Merge branch 'viktormalik:master' into eqbench-analysis-with-ci #33

Triggered via push January 22, 2024 07:34
@PLukas2018PLukas2018
pushed 83776d8
eqbench-analysis-with-ci
Status Cancelled
Total duration 1m 17s
Artifacts –

analysis.yml

on: push
EqBench
1m 5s
EqBench
Fit to window
Zoom out
Zoom in

Annotations

2 errors
EqBench
The run was canceled by @PLukas2018.
EqBench
The operation was canceled.