Skip to content

GitLab

[polarssl] update compile_commands.json due to fixes in frama-c

1 job for master in 90 minutes and 3 seconds (queued for 3 seconds)
552580a2
No related merge requests found.
Name Stage Failure
failed
build Test The script exceeded the maximum execution time set for the job 
Removing basic-cwe-examples/.frama-c/cwe787.parse/framac.sav
Removing basic-cwe-examples/.frama-c/cwe787.parse/parse.log
Removing basic-cwe-examples/.frama-c/cwe787.parse/stats.txt

Skipping Git submodules setup
Executing "step_script" stage of the job script
Using docker image sha256:d80986bf5d24cca6d47c12460d08b7009fc23620f687f8ca6ee9aa1cc4cc9d93 for framac/frama-c:dev-stripped with digest framac/frama-c@sha256:7e6b0a0f3598c73c1b8fb239e2d531ba716bc961082d41791a01a4830060e8aa ...
$ make -B all >/dev/null
ERROR: Job failed: execution took longer than 1h30m0s seconds