Skip to content

Merge pull request #185 from BenediktMKuehne/source-install #37

Merge pull request #185 from BenediktMKuehne/source-install

Merge pull request #185 from BenediktMKuehne/source-install #37

# This workflow will run build EMBArk in dev-mode
name: Build-EMBArk-DEV-test
on: [push]
jobs:
Build-embark:
if: github.repository_owner != 'e-m-b-a'
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- name: Checkout Code
uses: actions/checkout@v3
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/free-disk-space@main
with:
tool-cache: true
android: true
dotnet: true
haskell: true
large-packages: false
swap-storage: true
- name: EMBArk dev install
uses: Wandalen/wretry.action@master
with:
command: sudo ./installer.sh -sF
attempt_limit: 3
# - name: Start Debug-server-conf
# run: |
# sudo ./dev-tools/debug-server-start.sh &
# sleep 5m
# echo "Let the user test"
# timeout-minutes: 10