Skip to content

Change GitHub CI to run on push instead of pull request #54

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

mentatbot[bot]
Copy link
Contributor

@mentatbot mentatbot bot commented Jul 17, 2025

This PR modifies the GitHub workflows to run only on push events instead of both push and pull request events.

Changes made:

  • Remove pull_request triggers from .github/workflows/frontend-checks.yml
  • Remove pull_request triggers from .github/workflows/python-checks.yml
  • Both workflows now only run on push to the main branch
  • Frontend checks retain the path filter for frontend/** changes

This change reduces CI overhead by eliminating duplicate runs on pull requests while maintaining quality checks on the main branch.


🤖 This PR was created with Mentat. See my steps and cost here

  • Wake on any new activity.

- Removed pull_request triggers from both frontend-checks.yml and python-checks.yml
- Workflows now only run on push to main branch
- Frontend checks still include path filter for 'frontend/**' changes

Mentat precommit script passed. Log: https://mentat.ai/gh/AbanteAI/repo-visualizer/log/5d2a7180-5975-4063-ab1d-0891a5f1f39c

Co-authored-by: jakethekoenig <[email protected]>
@mentatbot mentatbot bot requested a review from jakethekoenig July 17, 2025 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants