fix: add gnodev install on the CI

Signed-off-by: gfanton <[email protected]>
gnolang · Dec 19, 2023 · 0ea2a0f · 0ea2a0f
1 parent 7a6648b
commit 0ea2a0f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/contribs.yml b/.github/workflows/contribs.yml
@@ -24,6 +24,8 @@ jobs:
           - "1.21.x"
         program:
           - "gnomd"
+          - "gnodev"
+          - "gnokeykc"
     runs-on: ubuntu-latest
     timeout-minutes: 5
     steps: