diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml deleted file mode 100644 index 9e01a32..0000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,14 +0,0 @@ -# SPDX-License-Identifier: MIT -# Copyright (C) J. Neuschäfer - -name: lint -on: [push] -jobs: - lint: - runs-on: ubuntu-latest - steps: - - run: | - sudo apt-get update - sudo apt-get install -y reuse - - uses: actions/checkout@v3 - - run: make lint diff --git a/.github/workflows/build.yaml b/.github/workflows/main.yml similarity index 69% rename from .github/workflows/build.yaml rename to .github/workflows/main.yml index fd133b1..5bf5daa 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/main.yml @@ -1,9 +1,11 @@ # SPDX-License-Identifier: MIT # Copyright (C) J. Neuschäfer -name: build +name: CI on: [push] + jobs: + build: runs-on: ubuntu-latest steps: @@ -18,3 +20,12 @@ jobs: path: | src/bare-metal/monitor.elf src/bare-metal/monitor*.bin + + lint: + runs-on: ubuntu-latest + steps: + - run: | + sudo apt-get update + sudo apt-get install -y reuse + - uses: actions/checkout@v3 + - run: make lint