Skip to content
Build Linux partially with CPROVER tools

Run again tests with new default checks #6780

Sign in to view logs

Run again tests with new default checks

Run again tests with new default checks #6780

Triggered via pull request December 19, 2023 21:30
@esteffinesteffin
synchronize #8106
esteffin:esteffin/fixing-tests-new-default-checks
Status Success
Total duration 4m 28s
Artifacts –

build-and-test-Linux.yaml

on: pull_request
CompileLinux
4m 8s
CompileLinux
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CompileLinux
No files were found with the provided path: CPROVER/faultyInput/*. No artifacts will be uploaded.