Skip to content

.github/workflows/solidity.yml: trigger on PR instead of push - #517

Merged
jmank88 merged 1 commit into
developfrom
ci-pr
Jul 30, 2026
Merged

.github/workflows/solidity.yml: trigger on PR instead of push#517
jmank88 merged 1 commit into
developfrom
ci-pr

Conversation

@jmank88

@jmank88 jmank88 commented Jul 30, 2026

Copy link
Copy Markdown
Collaborator

Unblock #516 by switching from push trigger to pull_request, so that bot created PRs will run all required jobs.

@jmank88
jmank88 requested review from a team as code owners July 30, 2026 13:01
@jmank88
jmank88 requested review from dimriou and pavel-raykov and removed request for elatoskinas, kalverra and skudasov July 30, 2026 13:01
@jmank88 jmank88 mentioned this pull request Jul 30, 2026
@github-actions

Copy link
Copy Markdown
Contributor

👋 jmank88, thanks for creating this pull request!

To help reviewers, please consider creating future PRs as drafts first. This allows you to self-review and make any final changes before notifying the team.

Once you're ready, you can mark it as "Ready for review" to request feedback. Thanks!

@jmank88
jmank88 enabled auto-merge (squash) July 30, 2026 13:03
@jmank88
jmank88 requested a review from RensR July 30, 2026 13:18
@jmank88
jmank88 merged commit 1f06f61 into develop Jul 30, 2026
33 checks passed
@jmank88
jmank88 deleted the ci-pr branch July 30, 2026 13:21
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.

3 participants