fix: add gnodev install on the CI

Signed-off-by: gfanton <8671905+gfanton@users.noreply.github.com>
gnolang · Dec 19, 2023 · c023dd9 · c023dd9
1 parent 7a6648b
commit c023dd9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/contribs.yml b/.github/workflows/contribs.yml
@@ -24,6 +24,7 @@ jobs:
           - "1.21.x"
         program:
           - "gnomd"
+          - "gnodev"
     runs-on: ubuntu-latest
     timeout-minutes: 5
     steps: