Minimal spi master #329
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: ci | |
| on: | |
| push: | |
| branches: | |
| - 'main' | |
| pull_request: {} | |
| # allow manual runs: | |
| workflow_dispatch: {} | |
| jobs: | |
| ci: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/tillitis/tkey-builder:4 | |
| steps: | |
| - name: checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| # fetch-depth: 0 | |
| persist-credentials: false | |
| - name: fix | |
| # https://github.com/actions/runner-images/issues/6775 | |
| run: | | |
| git config --global --add safe.directory "$GITHUB_WORKSPACE" | |
| - name: check indentation of our firmware C code | |
| working-directory: hw/application_fpga | |
| run: | | |
| make -C fw/tk1 checkfmt | |
| make -C fw/testfw checkfmt | |
| - name: run static analysis on firmware C code | |
| working-directory: hw/application_fpga | |
| run: | | |
| make check | |
| - name: lint verilog using verilator | |
| working-directory: hw/application_fpga | |
| run: make lint | |
| - name: compile ch552 firmware | |
| working-directory: hw/boards/mta1-usb-v1/ch552_fw | |
| run: make | |
| - name: compile tp1 firmware | |
| working-directory: hw/boards/tp1/firmware | |
| run: ./build.sh | |
| - name: make production test gateware | |
| working-directory: hw/production_test/application_fpga_test_gateware | |
| run: make | |
| - name: compile firmware and testfw | |
| working-directory: hw/application_fpga | |
| run: make firmware.bin testfw.bin | |
| # doing this last as it takes long time | |
| - name: make application FPGA gateware | |
| working-directory: hw/application_fpga | |
| run: make all | |
| - name: Cache binaries | |
| uses: actions/cache@v4 | |
| with: | |
| path: | | |
| hw/application_fpga/application_fpga.bin | |
| hw/application_fpga/firmware.bin | |
| key: ${{ runner.os }}-build-${{ github.sha }} | |
| restore-keys: ${{ runner.os }}-build- | |
| # TODO? first deal with hw/boards/ and hw/production_test/ | |
| # - name: check for SPDX tags | |
| # run: ./LICENSES/spdx-ensure | |
| check-hashes: | |
| needs: ci | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/tillitis/tkey-builder:4 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| persist-credentials: false | |
| - name: Retrieve binaries from cache | |
| uses: actions/cache@v4 | |
| with: | |
| path: | | |
| hw/application_fpga/application_fpga.bin | |
| hw/application_fpga/firmware.bin | |
| key: ${{ runner.os }}-build-${{ needs.build.outputs.commit_sha }} | |
| restore-keys: ${{ runner.os }}-build- | |
| - name: check matching hashes for firmware.bin & application_fpga.bin | |
| working-directory: hw/application_fpga | |
| run: make check-binary-hashes | |
| build-spi-bitstream: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/tillitis/tkey-builder:4 | |
| steps: | |
| - name: checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| # fetch-depth: 0 | |
| persist-credentials: false | |
| - name: fix | |
| # https://github.com/actions/runner-images/issues/6775 | |
| run: | | |
| git config --global --add safe.directory "$GITHUB_WORKSPACE" | |
| # doing this last as it takes long time | |
| - name: Build application FPGA gateware with SPI master | |
| working-directory: hw/application_fpga | |
| run: make application_fpga.bin YOSYS_FLAG=-DINCLUDE_SPI_MASTER |