Merge branch 'main' into adding-results-and-export

Signed-off-by: SinusFox <61253950+SinusFox@users.noreply.github.com>
2024-10-03 22:49:04 +02:00
parent fb54890785 aa1dcd2d20
commit aec32652d7
1 changed files with 2 additions and 0 deletions
@@ -11,9 +11,11 @@ on:

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:
+       main
  
  # Automatically run on Pull Request
  pull_request:
+       main

 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: