Skip to content

GitLab

F
Frama-C Website

Change E-ACSL priority

2 jobs for multiple-small-fixes in 7 minutes and 36 seconds (queued for 3 seconds)
d0c1f9ac
1 related merge request: !87 Add plugin priorities, use them for kernel-plugins
Status Job ID Name Coverage
  Test
passed #354417
docker
test

00:05:42

 
  Css
passed #354418
docker
check-css

00:01:53