Skip to content
Snippets Groups Projects

sync with frama-c master and add Gitlab pipeline badge

Passed
created pipeline for commit 72c9adf4
, finished
For master
1 job 79 minutes 32 seconds, queued for 2 seconds