######################################################
##                                                  ##
##  !!!! Autogenerated YAML file, do not edit !!!!  ##
##                                                  ##
##  Edit source in /src/github/workflows/ instead!  ##
##                                                  ##
######################################################
jobs:
  hlint:
    if: |
      !contains(github.event.head_commit.message, '[skip ci]')
      && !contains(github.event.head_commit.message, '[ci skip]')
      && !contains(github.event.head_commit.message, '[github skip]')
      && !contains(github.event.head_commit.message, '[skip github]')
    runs-on: ubuntu-18.04
    steps:
    - uses: actions/checkout@v2.3.1
    - with:
        version: 3.1.6
      uses: rwe/actions-hlint-setup@v1
      name: Set up hlint
    - with:
        path: '["src/", "test/"]'
      uses: rwe/actions-hlint-run@v2
      name: Run hlint
name: Lint
'on':
  pull_request:
    types:
    - opened
    - reopened
    - synchronize
    paths:
    - .github/workflows/lint.yaml
    - .hlint.yaml
    - Agda.cabal
    - src/**
    - test/**
  push:
    branches:
    - master
    - ci-*
    - release*
    paths:
    - .github/workflows/lint.yaml
    - .hlint.yaml
    - Agda.cabal
    - src/**
    - test/**
