WIP of syn2mas tool

2023-08-11 16:28:02 +01:00
parent 90aaf395d8
commit 38ed5e264e
33 changed files with 6936 additions and 0 deletions
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -3,8 +3,12 @@ name: Build and deploy the documentation
 on:
  push:
    branches: [ main ]
+    paths-ignore: 
+      - 'tools/**'
  pull_request:
    branches: [ main ]
+    paths-ignore: 
+      - 'tools/**'

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}