Skip to content

Merge branch 'devel' into v20.0.0 #4458

Merge branch 'devel' into v20.0.0

Merge branch 'devel' into v20.0.0 #4458

name: release_minimal
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: installdeps
run: sudo ./build.sh installdeps
- name: build
run: |
cmake -B release -DCMAKE_INSTALL_PREFIX:PATH=/usr -DCMAKE_BUILD_TYPE=Release -DMYMPD_MINIMAL=ON .
make -C release
- name: install
run: sudo make -C release install