Check for copyright header

fix: bv_decide embedded constraint substitution changes models #6260

Sign in to view logs

Triggered via pull request November 11, 2024 15:54

hargoniX

opened #6037

hbv/embedded_constraint_subst

Status Success

Total duration 30s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files