synth.yml

name: Vivado Builds

on:
  workflow_dispatch:
  schedule:
    - cron:  '0 0 * * 0'

jobs:
  build_applet:
    strategy:
      fail-fast: false
      matrix:
        applet:
        - applets/camera.py -b -d MicroR2 -s Zynq
        - applets/hdmi_framebuffer.py -b -d MicroR2 -s Zynq
        - applets/hdmi_framebuffer.py -b -d Beta -s Zynq
        - applets/hdmi_framebuffer.py -b -d Zybo -s Zynq
    runs-on: vivado
    steps:
    - name: Checkout
      uses: actions/checkout@v3
    - name: Set up Python
      uses: actions/setup-python@v4
      with:
        python-version: '3.10'
    - name: Setup PDM
      uses: pdm-project/setup-pdm@v3
      with:
        python-version: '3.10'
    - name: Install solver
      run: |
        sudo add-apt-repository ppa:sri-csl/formal-methods
        sudo apt-get update
        sudo apt-get install yices2
    - name: Install dependencies
      run: pdm install -G test -G ci_test
    - name: Run test suite
      run:
        SMTBMC=yowasp-yosys-smtbmc SBY=yowasp-sby YOSYS=yowasp-yosys pdm run ${{ matrix.applet }}
    - name: upload
      uses: actions/upload-artifact@v2
      with:
        name: build_hdmi_test_${{ matrix.device }}_${{ matrix.soc_platform }}
        path: build/*/*