Skip to content

ci: run workflows on PRs#14

Merged
ariostas merged 2 commits into
mainfrom
ariostas/run_ci_on_prs
Jul 14, 2026
Merged

ci: run workflows on PRs#14
ariostas merged 2 commits into
mainfrom
ariostas/run_ci_on_prs

Conversation

@ariostas

@ariostas ariostas commented Jul 14, 2026

Copy link
Copy Markdown
Member

The CI was not running on PRs, so it was not verifying that things could be built correctly, or that the solutions worked. Also, I removed the scheduled run, since it seems unnecessary.

@welcome

welcome Bot commented Jul 14, 2026

Copy link
Copy Markdown

Thanks for opening your first pull request here 🚀! If you have any questions, feel free to mention one of the conveners, previous contributors, or attend our weekly meeting (see
our homepage). Also, sometimes PRs go unnoticed, so don't hesitate to @mention some of us, if we do not come back to you within a few days.

@ariostas ariostas merged commit 5244d4c into main Jul 14, 2026
3 checks passed
@eduardo-rodrigues eduardo-rodrigues deleted the ariostas/run_ci_on_prs branch July 14, 2026 14:13
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.

1 participant