Skip to content

Replace maestro with edge-resource-manager. (#230) #326

Replace maestro with edge-resource-manager. (#230)

Replace maestro with edge-resource-manager. (#230) #326

Workflow file for this run

name: Build
on: push
jobs:
build-debs:
runs-on: ubuntu-22.04
strategy:
matrix:
distro: [bullseye, focal]
arch: [amd64, arm64, armhf]
fail-fast: false
steps:
- name: Check out code
uses: actions/checkout@v4
- name: Set GitHub access token via git config
run: |
git config --global url."https://${{ secrets.ACCESS_TOKEN }}@github".insteadOf "https://github"
- name: Copy mbed_cloud_dev_credentials.c
env:
MBED_CLOUD_DEV_CREDENTIALS: ${{ secrets.MBED_CLOUD_DEV_CREDENTIALS_C_RYAN }}
run: |
echo "$MBED_CLOUD_DEV_CREDENTIALS" > mbed_cloud_dev_credentials.c
- name: Copy update_default_resources.c
env:
UPDATE_DEFAULT_RESOURCES: ${{ secrets.UPDATE_DEFAULT_RESOURCES_C_RYAN }}
run: |
echo "$UPDATE_DEFAULT_RESOURCES" > update_default_resources.c
- name: Build
run: |
export DOCKER_OPTS='-i'; ./build-env/bin/docker-run-env.sh ${{ matrix.distro }} ./build-env/bin/build-all.sh --install --arch=${{ matrix.arch }}
docker system prune