From 12b02406eb8bb427206e21b138bad3f1a2ec0b19 Mon Sep 17 00:00:00 2001 From: nl6720 Date: Fri, 17 Jul 2020 22:39:54 +0300 Subject: Revert "Add GitHub Actions workflow" This reverts commit 2993b80816be1b06f7bb57b500a47989ac3af0e9. Actions are disabled in archiso's GitHub mirror. --- .github/workflows/lint.yml | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 .github/workflows/lint.yml (limited to '.github') diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml deleted file mode 100644 index 4e778e8..0000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,27 +0,0 @@ -# This is a basic workflow to help you get started with Actions - -name: CI - -# Controls when the action will run. Triggers the workflow on push or pull request -# events but only for the master branch -on: - push: - branches: [ '*' ] - pull_request: - branches: [ master ] - -# A workflow run is made up of one or more jobs that can run sequentially or in parallel -jobs: - # This workflow contains a single job called "build" - lint: - # The type of runner that the job will run on - runs-on: ubuntu-latest - - # Steps represent a sequence of tasks that will be executed as part of the job - steps: - # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - - uses: actions/checkout@v2 - - # Runs a single command using the runners shell - - name: shellcheck - run: make check -- cgit v1.2.3-70-g09d2