From da1c09b0105c613e30d6e98beb59c3d04fc5f200 Mon Sep 17 00:00:00 2001
From: Marcin Juszkiewicz <marcin@juszkiewicz.com.pl>
Date: Wed, 25 Oct 2023 15:10:26 +0200
Subject: [PATCH] Add github action to generate system calls table

For start it will be manual job, to automate later.
---
 .github/generate-system-calls-html.yml | 43 ++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 .github/generate-system-calls-html.yml

diff --git a/.github/generate-system-calls-html.yml b/.github/generate-system-calls-html.yml
new file mode 100644
index 0000000..5f5b68f
--- /dev/null
+++ b/.github/generate-system-calls-html.yml
@@ -0,0 +1,43 @@
+name: Generate system calls HTML table
+
+#
+# for now it will be manual
+#
+#  on:
+#   push:
+#     branches: [ "master" ]
+
+
+jobs:
+  update-tables:
+    permissions:
+      contents: read
+      id-token: write
+      pages: write
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout syscalls-table
+        uses: actions/checkout@v4
+        with:
+          path: syscalls-table/
+          ref: master
+      
+      - name: Install Python package
+        run: |
+          pip install .
+
+      - name: Generate system calls HTML
+        run: |
+          python3 examples/generate-html-table.py > syscalls.html
+
+      - name: Configure GitHub Pages
+        uses: actions/configure-pages@v3
+
+      - name: Upload Artifact
+        uses: actions/upload-pages-artifact@v2
+        with:
+          path: syscalls.html
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2