Skip to content

fix: Removed $HOME/ prefix from global filename path #1752

fix: Removed $HOME/ prefix from global filename path

fix: Removed $HOME/ prefix from global filename path #1752

Workflow file for this run

name: Lint
on:
pull_request_target:
types:
- opened
- edited
- synchronize
jobs:
semantic-pr:
runs-on: ubuntu-latest
steps:
- uses: amannn/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}