diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-05-24 23:47:35 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-05-24 23:47:35 +0000 |
| commit | ce1078994d0a9c06143527d5856e3ef2adaa45cf (patch) | |
| tree | 759273f8160ab66b8793044a456342fd6ee5a573 /ci.sh | |
| parent | 627d7f66efb7ff3dcf627477814c52ba4171bade (diff) | |
| parent | b6ba1ea53ada2f503ae89de66490957723a21866 (diff) | |
Merge #1479
1479: Move stm32 to bind_interrupts r=xoviat a=xoviat
Co-authored-by: xoviat <[email protected]>
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -143,6 +143,7 @@ cargo batch \ | |||
| 143 | $BUILD_EXTRA | 143 | $BUILD_EXTRA |
| 144 | 144 | ||
| 145 | 145 | ||
| 146 | |||
| 146 | function run_elf { | 147 | function run_elf { |
| 147 | echo Running target=$1 elf=$2 | 148 | echo Running target=$1 elf=$2 |
| 148 | STATUSCODE=$( | 149 | STATUSCODE=$( |