Skip to content

fix: createCredentialIssueRecordRequest schemaId field to be Option[String] #5698

fix: createCredentialIssueRecordRequest schemaId field to be Option[String]

fix: createCredentialIssueRecordRequest schemaId field to be Option[String] #5698

Workflow file for this run

name: "Pull Request Labeler"
on:
- pull_request_target
jobs:
triage:
runs-on: self-hosted
permissions:
pull-requests: write
steps:
- uses: actions/labeler@v5
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"