Skip to content

Add class KoreDefn #1002

Add class KoreDefn

Add class KoreDefn #1002

Workflow file for this run

name: Lint GitHub Actions workflows
on: pull_request
jobs:
actionlint:
name: Run actionlint
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Download actionlint
id: get_actionlint
run: bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/main/scripts/download-actionlint.bash)
shell: bash
- name: Check workflow files
run: ${{ steps.get_actionlint.outputs.executable }} -color
shell: bash