diff --git a/.github/workflows/editor.yml b/.github/workflows/editor.yml index 76fb9c5a..43aaeb7f 100644 --- a/.github/workflows/editor.yml +++ b/.github/workflows/editor.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./editor - - ./.github/workflows/editor.yml + - editor + - .github/workflows/editor.yml jobs: build: diff --git a/.github/workflows/errors.yml b/.github/workflows/errors.yml index 1132926f..10eac93b 100644 --- a/.github/workflows/errors.yml +++ b/.github/workflows/errors.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./errors - - ./.github/workflows/errors.yml + - errors + - .github/workflows/errors.yml jobs: build: diff --git a/.github/workflows/higherorder.yml b/.github/workflows/higherorder.yml index b3d23b82..69c9dc56 100644 --- a/.github/workflows/higherorder.yml +++ b/.github/workflows/higherorder.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/higherorder - - ./.github/workflows/higherorder.yml + - exp/higherorder + - .github/workflows/higherorder.yml jobs: build: diff --git a/.github/workflows/ordered.yml b/.github/workflows/ordered.yml index 8f9ed9d7..fc1490ab 100644 --- a/.github/workflows/ordered.yml +++ b/.github/workflows/ordered.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/ordered - - ./.github/workflows/ordered.yml + - exp/ordered + - .github/workflows/ordered.yml jobs: build: diff --git a/.github/workflows/slice.yml b/.github/workflows/slice.yml index f8cca70b..1f3af139 100644 --- a/.github/workflows/slice.yml +++ b/.github/workflows/slice.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/slice - - ./.github/workflows/slice.yml + - exp/slice + - .github/workflows/slice.yml jobs: build: diff --git a/.github/workflows/strings.yml b/.github/workflows/strings.yml index 0d92599d..fde71cfd 100644 --- a/.github/workflows/strings.yml +++ b/.github/workflows/strings.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/strings - - ./.github/workflows/strings.yml + - exp/strings + - .github/workflows/strings.yml jobs: build: diff --git a/.github/workflows/teatest.yml b/.github/workflows/teatest.yml index df741003..8e1d35c7 100644 --- a/.github/workflows/teatest.yml +++ b/.github/workflows/teatest.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/teatest - - ./.github/workflows/teatest.yml + - exp/teatest + - .github/workflows/teatest.yml jobs: build: diff --git a/.github/workflows/term.yml b/.github/workflows/term.yml index 9e7ee456..57c032d5 100644 --- a/.github/workflows/term.yml +++ b/.github/workflows/term.yml @@ -7,8 +7,8 @@ on: - main pull_request: paths: - - ./exp/term - - ./.github/workflows/term.yml + - exp/term + - .github/workflows/term.yml jobs: build: diff --git a/scripts/builds b/scripts/builds index f6f7f980..abde6e14 100755 --- a/scripts/builds +++ b/scripts/builds @@ -13,8 +13,8 @@ on: - main pull_request: paths: - - $(dirname "$mod") - - ./.github/workflows/${name}.yml + - $(dirname "$mod" | cut -f2- -d/) + - .github/workflows/${name}.yml jobs: build: