summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorwallarug <wallarug@coliemore.com.au>2019-11-21 01:12:48 +1100
committerGitHub <noreply@github.com>2019-11-21 01:12:48 +1100
commit8d72233afd8e0f6988131529a02dfad0ac763599 (patch)
tree89151715aaa3d4965f2e69116c9e7416102fcb05 /.github/workflows
parentfce7b89087a6aca8a2c72f62aee6b0639a5414c0 (diff)
Removed robohatmm1_m0 from build.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/build.yml1
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 404cd19a6..1d5793573 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -137,7 +137,6 @@ jobs:
- "pyportal"
- "pyportal_titano"
- "pyruler"
- - "robohatmm1_m0"
- "robohatmm1_m4"
- "sam32"
- "serpente"