Skip to content
Build Linux partially with CPROVER tools

Switch GCC-12 CI job to GCC 13 #6075

Sign in to view logs

Switch GCC-12 CI job to GCC 13

Switch GCC-12 CI job to GCC 13 #6075

Triggered via pull request August 10, 2023 09:01
@tautschnigtautschnig
synchronize #7841
tautschnig:features/gcc-13
Status Success
Total duration 8m 43s
Artifacts –

build-and-test-Linux.yaml

on: pull_request
CompileLinux
8m 31s
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.