Skip to content
Build Linux partially with CPROVER tools

[CI] Bring back core release processes #6812

Sign in to view logs

[CI] Bring back core release processes

[CI] Bring back core release processes #6812

Triggered via pull request December 21, 2023 14:58
@NlightNFotisNlightNFotis
synchronize #8108
NlightNFotis:undo_release_process_changes
Status Success
Total duration 3m 58s
Artifacts –

build-and-test-Linux.yaml

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