Skip to content
Performance Benchmarking

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex #5

Sign in to view logs

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex

Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex #5

Triggered via push June 18, 2024 01:23
@qinhepingqinheping
pushed d3bee61
develop
Status Failure
Total duration 26m 4s
Artifacts –

performance.yaml

on: push
perf-benchcomp
7m 11s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

4 errors
perf-benchcomp
unable to access 'https://github.com/qinheping/cbmc/': Failed to connect to github.com port 443: Connection timed out
perf-benchcomp
unable to access 'https://github.com/qinheping/cbmc/': Failed to connect to github.com port 443: Connection timed out
perf-benchcomp
unable to access 'https://github.com/qinheping/cbmc/': Failed to connect to github.com port 443: Connection timed out
perf-benchcomp
The process '/usr/bin/git' failed with exit code 128