Skip to content

GitLab

F
Frama-C Website

Fix kernel-plugin redirection descriptions

4 jobs for feature/redirect-old-urls in 5 minutes and 54 seconds (queued for 2 seconds)
13e79795
1 related merge request: !96 Add redirections for old urls
Status Job ID Name Coverage
  Test
passed #355181
docker
test

00:01:43

 
  Css
passed #355182
docker
check-css

00:01:59

 
  Deploy
passed #355183
docker
pages

00:02:11

passed #355184
external
pages:deploy

00:00:01