Commit 72c9adf4 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

sync with frama-c master and add Gitlab pipeline badge

parent 7c05f906
Pipeline #30860 passed with stage
in 79 minutes and 32 seconds