block-pr

Fix SAT constraints for AND and OR #217

Sign in to view logs

Triggered via pull request December 3, 2023 17:23

ale-depi

synchronize #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