Pertinence du FIRST_IF_UNCHANGED ?
026af310 (ping @mikael-s) a été fait quand il y avait encore delta_min
(supprimé depuis).
Utilisé désormais pour :
FIRST_IF_UNCHANGED("", seed, seed_changed),
FIRST_IF_UNCHANGED(0, trim_sequences, trim_sequences_changed)
À voir si cela est toujours nécessaire ou si une valeur d'option par défaut peut suffire.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information