block-pr

Fix SAT constraints for AND and OR #216

Sign in to view logs

Triggered via pull request December 2, 2023 15:27

ale-depi

opened #119

fix/sat-constraints-for-components

Status Skipped

Total duration 2s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

block-pr-to-main-from-not-develop.yaml

on: pull_request

block-pr-to-main-from-not-develop