Skip to content

Merge branch 'main' into dev #180

Merge branch 'main' into dev

Merge branch 'main' into dev #180

Workflow file for this run

name: Update wiki
# Controls when the workflow will run
on:
# Triggers the workflow on push events but only for the "main" branch
push:
branches: [ "main" ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Setup Python
uses: actions/[email protected]
with:
python-version: 3.11.3
- name: Checkout threatmodel repo to get the python script
uses: actions/checkout@v3
with:
repository: edamametechnologies/threatmodels
- name: Generate wiki files
run: |
pip install -r requirements.txt
python3 src/wiki/build-wiki.py
pwd
mv *.md ../
- name: Checkout wiki repo
uses: actions/checkout@v3
with:
repository: edamametechnologies/threatmodels.wiki
- name: Move files to the wiki repo
run: |
mv ../*.md .
- name: GitHub Commit & Push
uses: actions-js/[email protected]
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
repository: edamametechnologies/threatmodels.wiki
branch: master