libtropic/.github/workflows/model_run_examples.yml at master · tropicsquare/libtropic · GitHub

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
name: Run examples for TROPIC01 model
on:
  push:
    branches:
      - 'develop'
      - 'master'
  pull_request:
    branches:
      - 'master'
      - 'develop'

jobs:
  build_and_run_examples_valgrind:
    name: Build and run examples with Valgrind
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4.1.7

      - name: Setup Python
        uses: actions/setup-python@v5
        with:
          python-version: '3.8'

      - name: Install dependencies
        run: |
            sudo apt-get update
            sudo apt-get install cmake build-essential valgrind ninja-build
            ./tests/functional/model/download_deps.sh
            ./scripts/tropic01_model/install_linux.sh
            echo "$GITHUB_WORKSPACE/scripts/tropic01_model/.venv/bin" >> $GITHUB_PATH
            pip install jsonschema

      - name: Compile and run Hello World example
        id: run_hello_world
        run: |
            cd examples/model/hello_world
            cmake ./ -B build -G Ninja
            cd build/
            ninja
            python3 ../../../../scripts/tropic01_model/model_runner.py \
              -e ./libtropic_hello_world \
              -c ../../../../scripts/tropic01_model/model_cfg.yml \
              -o run_logs/ \
              --use-valgrind

      - name: Upload Hello World run logs
        if: always() && (steps.run_hello_world.outcome == 'success' || steps.run_hello_world.outcome == 'failure')
        uses: actions/upload-artifact@v4
        with:
          name: hello_world_valgrind_run_logs
          path: examples/model/hello_world/build/run_logs/

      - name: Compile and run HW Wallet example
        id: run_hw_wallet
        run: |
            cd examples/model/hw_wallet
            cmake ./ -B build -G Ninja
            cd build/
            ninja
            python3 ../../../../scripts/tropic01_model/model_runner.py \
              -e ./libtropic_hw_wallet \
              -c ../../../../scripts/tropic01_model/model_cfg.yml \
              -o run_logs/ \
              --use-valgrind

      - name: Upload HW Wallet run logs
        if: always() && (steps.run_hw_wallet.outcome == 'success' || steps.run_hw_wallet.outcome == 'failure')
        uses: actions/upload-artifact@v4
        with:
          name: hw_wallet_valgrind_run_logs
          path: examples/model/hw_wallet/build/run_logs/

      - name: Compile and run Mac-And-Destroy example
        id: run_mac_and_destroy
        run: |
            cd examples/model/mac_and_destroy
            cmake ./ -B build -G Ninja
            cd build/
            ninja
            python3 ../../../../scripts/tropic01_model/model_runner.py \
              -e ./libtropic_mac_and_destroy \
              -c ../../../../scripts/tropic01_model/model_cfg.yml \
              -o run_logs/ \
              --use-valgrind

      - name: Upload Mac-And-Destroy run logs
        if: always() && (steps.run_mac_and_destroy.outcome == 'success' || steps.run_mac_and_destroy.outcome == 'failure')
        uses: actions/upload-artifact@v4
        with:
          name: macandd_valgrind_run_logs
          path: examples/model/mac_and_destroy/build/run_logs/

      - name: Compile and run Separate API example
        id: run_separate_api
        run: |
            cd examples/model/separate_api
            cmake ./ -B build -G Ninja
            cd build/
            ninja
            python3 ../../../../scripts/tropic01_model/model_runner.py \
              -e ./libtropic_separate_api \
              -c ../../../../scripts/tropic01_model/model_cfg.yml \
              -o run_logs/ \
              --use-valgrind

      - name: Upload Separate API run logs
        if: always() && (steps.run_separate_api.outcome == 'success' || steps.run_separate_api.outcome == 'failure')
        uses: actions/upload-artifact@v4
        with:
          name: separate_api_valgrind_run_logs
          path: examples/model/separate_api/build/run_logs/