Skip to content

Flip quote types in pr filter#1625

Merged
gregorydlogan merged 1 commit into
opencast:developfrom
gregorydlogan:t/flip-quote-types
Jun 17, 2026
Merged

Flip quote types in pr filter#1625
gregorydlogan merged 1 commit into
opencast:developfrom
gregorydlogan:t/flip-quote-types

Conversation

@gregorydlogan

Copy link
Copy Markdown
Member

This PR flips the quote type from double, to single quotes since GHA only supports single quotes.

@gregorydlogan gregorydlogan added type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code labels Jun 17, 2026
@gregorydlogan gregorydlogan self-assigned this Jun 17, 2026
@gregorydlogan gregorydlogan merged commit f0b435f into opencast:develop Jun 17, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type:bug Something isn't working type:github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant