Skip to content

ci: Separate PR workflows#81

Merged
toby-coleman merged 1 commit intomainfrom
ci/update-pr-ci
Feb 23, 2025
Merged

ci: Separate PR workflows#81
toby-coleman merged 1 commit intomainfrom
ci/update-pr-ci

Conversation

@toby-coleman
Copy link
Contributor

Summary

Resolves #78.

Changes

  • PR title check now in separate workflow, and should work against PRs created from forks.
  • Triggers on existing lint/test workflow updated.

@toby-coleman toby-coleman changed the title ci: Separate PR workflows ci: Separate PR workflows change name Feb 23, 2025
@toby-coleman toby-coleman changed the title ci: Separate PR workflows change name ci: Separate PR workflows Feb 23, 2025
@toby-coleman toby-coleman merged commit ce1ad47 into main Feb 23, 2025
1 check passed
@toby-coleman toby-coleman deleted the ci/update-pr-ci branch February 23, 2025 17:14
toby-coleman added a commit that referenced this pull request Mar 15, 2025
# Summary
Resolves #78. 

# Changes
* PR title check now in separate workflow, and should work against PRs
created from forks.
* Triggers on existing lint/test workflow updated.
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.

Editing PR title or description triggers pipeline rerun

1 participant