Kani Performance Benchmarks

Unified handling for unstable command line flags across compiler and … #98

Sign in to view logs

Re-run triggered September 7, 2023 14:24

adpaco-aws

kani-0.36.0

Status Failure

Total duration 3m 19s

Artifacts –

bench.yml

on: push

Annotations

4 errors

perf-benchcomp

remote error: upload-pack: not our ref 0000000000000000000000000000000000000000

perf-benchcomp

remote error: upload-pack: not our ref 0000000000000000000000000000000000000000

perf-benchcomp

remote error: upload-pack: not our ref 0000000000000000000000000000000000000000

perf-benchcomp

The process '/usr/bin/git' failed with exit code 128