diff --git a/.github/workflows/python-checks.yaml b/.github/workflows/python-checks.yaml index 39033c1f..2ef2008b 100644 --- a/.github/workflows/python-checks.yaml +++ b/.github/workflows/python-checks.yaml @@ -13,6 +13,7 @@ on: - '**.yaml' - '**.yml' - '**.ini' + - 'third_party/**' branches: [ main ] pull_request: paths: @@ -26,7 +27,9 @@ on: - '**.yaml' - '**.yml' - '**.ini' + - 'third_party/**' branches: [ main ] + workflow_dispatch: jobs: ci: diff --git a/third_party/mockturtle b/third_party/mockturtle index b78357b5..b2ce7f03 160000 --- a/third_party/mockturtle +++ b/third_party/mockturtle @@ -1 +1 @@ -Subproject commit b78357b5e93775c93f04c54f5a9df3c02eed7f02 +Subproject commit b2ce7f039d93fd8569cd856ff3fef4dbfb46b50d diff --git a/third_party/pybind11 b/third_party/pybind11 index 6b92b6e1..a2e59f0e 160000 --- a/third_party/pybind11 +++ b/third_party/pybind11 @@ -1 +1 @@ -Subproject commit 6b92b6e148ab2762950425f6de851f8d152d5b4f +Subproject commit a2e59f0e7065404b44dfe92a28aca47ba1378dc4