Skip to content
Snippets Groups Projects

synchronize with frama-c master

Passed
created pipeline for commit 092871ef
, finished
For master
1 job 62 minutes 1 second, queued for 5 seconds