From f789aebf7a5df0e56285384a6fff155ecabcd8ad Mon Sep 17 00:00:00 2001
From: Akram Ben Aissi <akram.benaissi@gmail.com>
Date: Wed, 21 Jun 2023 19:00:27 +0200
Subject: [PATCH] Fix unknown host workaround

---
 .github/workflows/demo.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/demo.yml b/.github/workflows/demo.yml
index 1cfd2a1..c98e456 100644
--- a/.github/workflows/demo.yml
+++ b/.github/workflows/demo.yml
@@ -28,6 +28,11 @@ jobs:
         container:
             image: ubuntu:latest
         steps:
+            - name: "Add GitHub to the SSH known hosts file"
+              run: |
+                mkdir -p -m 0700 /home/runner/.ssh
+                curl --silent https://api.github.com/meta  | jq --raw-output '"github.com "+.ssh_keys[]' >> /home/runner/.ssh/known_hosts
+                chmod 600 /home/runner/.ssh/known_hosts
             -   uses: actions/checkout@v3
             -   run: apt update && apt install -y openssh-client git
             -   name: Setup key