Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Pipelines
#23457
update inria logo
1 job for
fix_inria_logo
in 34 seconds (queued for 1 second)
9904db4b
1 related merge request:
!14 update inria logo
Pipeline
Needs
Jobs
1
Tests
0