Skip to content
Analysis of DiffKemp equivalence checking

t #19

Sign in to view logs

t

t #19

Triggered via push November 11, 2023 02:07
@PLukas2018PLukas2018
pushed 49fe846
eqbench-analysis-with-ci
Status Cancelled
Total duration 36s
Artifacts –

analysis.yml

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

Annotations

1 error
EqBench
The run was canceled by @PLukas2018.