Minor changes

moves-rwth · Jul 12, 2024 · aa8445b · aa8445b
1 parent 3d17f71
commit aa8445b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
@@ -2,9 +2,12 @@ name: Build Test
 # Builds and tests
 
 on:
+  push:
+    branches:
+      - master
   schedule:
-      # run weekly
-      - cron: '0 10 * * 4'
+    # run weekly
+    - cron: '0 10 * * 4'
   # needed to trigger the workflow manually
   workflow_dispatch:
   pull_request:

diff --git a/src/main.cpp b/src/main.cpp
@@ -1,6 +1,6 @@
-#include <storm-parsers/api/storm-parsers.h>
 #include <storm/api/storm.h>
 #include <storm/utility/initialize.h>
+#include <storm-parsers/api/storm-parsers.h>
 
 typedef storm::models::sparse::Dtmc<double> Dtmc;
 typedef storm::modelchecker::SparseDtmcPrctlModelChecker<Dtmc> DtmcModelChecker;