diff options
Diffstat (limited to '.github/workflows/checkPR.yml')
| -rw-r--r-- | .github/workflows/checkPR.yml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/.github/workflows/checkPR.yml b/.github/workflows/checkPR.yml deleted file mode 100644 index c83bf3ab..00000000 --- a/.github/workflows/checkPR.yml +++ /dev/null @@ -1,16 +0,0 @@ -name: checkPR -on: pull_request -jobs: - compile: - runs-on: ${{ matrix.os }} - strategy: - fail-fast: false - matrix: - os: [windows-latest, ubuntu-18.04, macos-latest] - steps: - - uses: actions/checkout@v1 - with: - ref: ${{ github.event.pull_request.head.sha }} - submodules : recursive - - uses: actboy168/setup-luamake@master - - run: luamake |