summaryrefslogtreecommitdiff
path: root/.github/workflows/examples.yml
blob: 4adeaae2e5e4b9d0c91e7ddbf04504af374f5a58 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
name: Check examples

on:
  push:
  pull_request:
    paths:
      - '.github/workflows/*.yml'
      - 'examples/**'
      - 'ports/unix/**'
      - 'py/**'
      - 'shared/**'

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  embedding:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v6
    - name: Build
      run: make -C examples/embedding -f micropython_embed.mk && make -C examples/embedding
    - name: Run
      run: ./examples/embedding/embed | grep "hello world"