Skip to content
Back to pull request #7964

Use goto-analyzer to add assumptions, assertions and code contracts #278

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #278

Triggered via pull request February 2, 2024 20:24
@martin-csmartin-cs
synchronize #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 7m 11s
Artifacts –

bsd.yaml

on: pull_request
FreeBSD
6m 12s
FreeBSD
OpenBSD
7m 3s
OpenBSD
NetBSD
6m 32s
NetBSD
Fit to window
Zoom out
Zoom in

Annotations

3 errors
FreeBSD
The process '/usr/bin/bash' failed with exit code 2
NetBSD
The process '/usr/bin/bash' failed with exit code 2
OpenBSD
The process '/usr/bin/bash' failed with exit code 2