Skip to content

Commit

Permalink
Add github action to generate system calls table
Browse files Browse the repository at this point in the history
For start it will be manual job, to automate later.
  • Loading branch information
hrw committed Oct 25, 2023
1 parent 675d372 commit da1c09b
Showing 1 changed file with 43 additions and 0 deletions.
43 changes: 43 additions & 0 deletions .github/generate-system-calls-html.yml
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit da1c09b

Please sign in to comment.