From 465c871601654350515dbfb9f114ab69e25ebe14 Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Mon, 15 Jul 2024 11:25:22 +0200
Subject: [PATCH 1/2] Adaption to changes in Storm (moves-rwth/storm#556)

---
 src/storage/jani.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storage/jani.cpp b/src/storage/jani.cpp
index 53a78eeb9..02cade823 100644
--- a/src/storage/jani.cpp
+++ b/src/storage/jani.cpp
@@ -83,7 +83,7 @@ void define_jani(py::module& m) {
         .def_property_readonly("nr_destinations", &Edge::getNumberOfDestinations, "nr edge destinations")
         .def_property_readonly("guard", &Edge::getGuard, "edge guard")
         .def_property("color", &Edge::getColor, &Edge::setColor, "color for the edge")
-        .def("substitute", &Edge::substitute, py::arg("mapping"))
+        .def("substitute", &Edge::substitute, py::arg("mapping"), py::arg("substitute_transcendental_numbers"))
         .def("has_silent_action", &Edge::hasSilentAction, "Is the edge labelled with the silent action")
     ;
 
@@ -112,7 +112,7 @@ void define_jani(py::module& m) {
         .def(py::init<std::vector<Assignment> const&>(), "assignments")
         .def("__str__", &streamToString<OrderedAssignments>)
         .def("clone", &OrderedAssignments::clone, "clone assignments (performs a deep copy)")
-        .def("substitute", &OrderedAssignments::substitute, "substitute in rhs according to given substitution map", "substitution_map"_a)
+        .def("substitute", &OrderedAssignments::substitute, "substitute in rhs according to given substitution map", "substitution_map"_a, "substitute_transcendental_numbers"_a)
         .def("add", [](OrderedAssignments& oa, Assignment const& newAssignment, bool addToExisting) {return oa.add(newAssignment, addToExisting); }, "new_assignment"_a, "add_to_existing"_a = false)
     ;
 

From 47ee8a4b719c47cee344ce4dd71d32165fd4e246 Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Mon, 15 Jul 2024 11:25:56 +0200
Subject: [PATCH 2/2] Removed unused variables in CI

---
 .github/workflows/buildtest.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index 6adcfdd28..7a9c013ec 100644
--- a/.github/workflows/buildtest.yml
+++ b/.github/workflows/buildtest.yml
@@ -14,8 +14,6 @@ on:
   pull_request:
 
 env:
-  GIT_URL: "${{ github.server_url }}/${{ github.repository }}.git"
-  BRANCH: "${{ github.ref }}"
   # GitHub runners currently have two cores
   NR_JOBS: "2"