Joshua Shay Kricheli NeuroSymbolic AI
v2 v1

Release · v2.7.5

Run only on push to main, not on pull requests

CI: run only on push to main, not on pull requests

ci v2.7.5 June 21, 2026 Claude 7fa6c0d

Details

Remove the pull_request trigger so the CI/CD workflow runs a single
time, on the post-merge push to main (plus manual workflow_dispatch),
instead of redundantly on both the PR and the merge.

Files changed (1)

.github/workflows/ci.yml +0 −2