Skip to content

Issue #190: Fix relation names to be all caps #51

Issue #190: Fix relation names to be all caps

Issue #190: Fix relation names to be all caps #51

# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json
name: check-test-cases
on:
workflow_dispatch: # Allow running the workflow manually from the GitHub UI
push:
branches: [ "master" ] # Run the workflow when pushing to the main branch
pull_request:
branches: [ "*" ] # Run the workflow for all pull requests
jobs:
check-test-cases:
name: check-test-cases
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Run './build.cmd CheckTestCases'
run: ./build.cmd CheckTestCases