Skip to content
Snippets Groups Projects

Fixes Frama-C 26.1 event.

Passed
created pipeline for commit 6d612af3
, finished
1 related merge request: !178 Release 26.1-Iron
5 jobs 7 minutes 25 seconds, queued for 4 seconds