Skip to content

GitHubActions: Update required job#918

Merged
rauhul merged 1 commit into
mainfrom
t/main/update_required_workflow
Jul 8, 2026
Merged

GitHubActions: Update required job#918
rauhul merged 1 commit into
mainfrom
t/main/update_required_workflow

Conversation

@bkhouri

@bkhouri bkhouri commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Update the required job to emit a console message for each required job that failed.

Replace this paragraph with a description of your changes and rationale. Provide links to an existing issue or external references/discussions, if appropriate.

Checklist

  • I've added at least one test that validates that my change is working, if appropriate
  • I've followed the code style of the rest of the project
  • I've read the Contribution Guidelines
  • I've updated the documentation if necessary

Update the required job to emit a console message for each required job
that failed.
@rauhul rauhul merged commit c1594d2 into main Jul 8, 2026
35 checks passed
@rauhul rauhul deleted the t/main/update_required_workflow branch July 8, 2026 18:02
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.

2 participants