Skip to content
Build Linux partially with CPROVER tools

Run again tests with new default checks #6749

Sign in to view logs

Run again tests with new default checks

Run again tests with new default checks #6749

Triggered via pull request December 18, 2023 15:10
@esteffinesteffin
synchronize #8106
esteffin:esteffin/fixing-tests-new-default-checks
Status Success
Total duration 3m 57s
Artifacts –

build-and-test-Linux.yaml

on: pull_request
CompileLinux
3m 45s
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.