Browse Source

Merge branch 'master' into smpmpmt_ext

pull/2122/head
Binno Shen 9 months ago
committed by GitHub
parent
commit
5c3435f44b
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 4
      .github/workflows/continuous-integration.yml
  2. 1
      .github/workflows/debug-smoke.yml

4
.github/workflows/continuous-integration.yml

@ -26,7 +26,9 @@ jobs:
fetch-depth: 0 fetch-depth: 0
- name: Install Dependencies - name: Install Dependencies
run: sudo xargs apt-get install -y < .github/workflows/apt-packages.txt run: |
sudo apt-get update
sudo xargs apt-get install -y < .github/workflows/apt-packages.txt
- run: | - run: |
for commit in $(git rev-list origin/master..HEAD | tac); do for commit in $(git rev-list origin/master..HEAD | tac); do

1
.github/workflows/debug-smoke.yml

@ -19,6 +19,7 @@ jobs:
- name: Install Dependencies - name: Install Dependencies
run: | run: |
sudo apt-get update
sudo xargs apt-get install -y < .github/workflows/apt-packages.txt sudo xargs apt-get install -y < .github/workflows/apt-packages.txt
- name: Download OpenOCD - name: Download OpenOCD

Loading…
Cancel
Save