Run syn2mas CI as part of main workflows

2023-10-04 18:06:49 +01:00
parent 0617969927
commit 74d0910eed
4 changed files with 24 additions and 15 deletions
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -3,12 +3,8 @@ 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 }}