Skip to content
Snippets Groups Projects

update guidelines to state `Require Import|Export` rules

Failed
Björn Brandenburg created pipeline for commit 3b486cb7
, finished
For model-reorg
8 jobs 4 minutes 48 seconds, queued for 1 seconds