Skip to content
Snippets Groups Projects

synchronize with frama-c master

Canceled
created pipeline for commit 26c3b01b
, finished
1 related merge request: !67 synchronize with frama-c master
latest branch
40 jobs 17 seconds, queued for 2 seconds