Skip to content

ci(common): fix unverified_prs workflow name#1617

Merged
eudelins-zama merged 1 commit intomainfrom
eudelins/fix/ci/unverified-prs
Dec 29, 2025
Merged

ci(common): fix unverified_prs workflow name#1617
eudelins-zama merged 1 commit intomainfrom
eudelins/fix/ci/unverified-prs

Conversation

@eudelins-zama
Copy link
Copy Markdown
Contributor

I forgot the .yml extension for the unverified_prs workflow, and it was never triggered on any PR AFAIK, so this might be the cause

@eudelins-zama eudelins-zama self-assigned this Dec 19, 2025
@eudelins-zama eudelins-zama requested a review from a team as a code owner December 19, 2025 12:28
@cla-bot cla-bot Bot added the cla-signed label Dec 19, 2025
@mergify
Copy link
Copy Markdown

mergify Bot commented Dec 19, 2025

🧪 CI Insights

Here's what we observed from your CI run for 66093eb.

🟢 All jobs passed!

But CI Insights is watching 👀

@eudelins-zama eudelins-zama force-pushed the eudelins/fix/ci/unverified-prs branch from cd09c9c to 652e485 Compare December 19, 2025 12:31
@eudelins-zama eudelins-zama changed the title fix(ci): fix unverified_prs workflow name ci(common): fix unverified_prs workflow name Dec 19, 2025
@eudelins-zama eudelins-zama force-pushed the eudelins/fix/ci/unverified-prs branch from 652e485 to 66093eb Compare December 19, 2025 12:47
@eudelins-zama eudelins-zama merged commit 200cab2 into main Dec 29, 2025
66 checks passed
@eudelins-zama eudelins-zama deleted the eudelins/fix/ci/unverified-prs branch December 29, 2025 07:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants