diff options
author | nl6720 <nl6720@gmail.com> | 2020-07-17 22:39:54 +0300 |
---|---|---|
committer | nl6720 <nl6720@gmail.com> | 2020-07-17 22:39:54 +0300 |
commit | 12b02406eb8bb427206e21b138bad3f1a2ec0b19 (patch) | |
tree | ca11f5628153aff617e5c381bdadba892d543b67 /.github | |
parent | b40fb2ae53427e0fb14514e7929c02246ac298f0 (diff) | |
download | archiso32-12b02406eb8bb427206e21b138bad3f1a2ec0b19.tar.xz |
Revert "Add GitHub Actions workflow"
This reverts commit 2993b80816be1b06f7bb57b500a47989ac3af0e9.
Actions are disabled in archiso's GitHub mirror.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/lint.yml | 27 |
1 files changed, 0 insertions, 27 deletions
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 |