ci: install the GitHub CLI tool

Signed-off-by: Esteve Fernandez <[email protected]>

Author: esteve

.github/workflows/generate-bindings.yml

@@ -65,6 +65,18 @@ jobs:
     - name: Install bindgen
       run: cargo binstall -y bindgen-cli
 
+    - name: Install GitHub CLI tool
+      run: |
+        (type -p wget >/dev/null || (sudo apt update && sudo apt install wget -y)) \
+          && sudo mkdir -p -m 755 /etc/apt/keyrings \
+          && out=$(mktemp) && wget -nv -O$out https://cli.github.com/packages/githubcli-archive-keyring.gpg \
+          && cat $out | sudo tee /etc/apt/keyrings/githubcli-archive-keyring.gpg > /dev/null \
+          && sudo chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg \
+          && sudo mkdir -p -m 755 /etc/apt/sources.list.d \
+          && echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
+          && sudo apt update \
+          && sudo apt install gh -y
+
     - name: Generate bindings
       run: |
         . /opt/ros/${{ matrix.ros_distribution }}/setup.sh