Merge pull request #1205 from TiKeil/tutorial_optimization

Tutorial for optimization
pymor · Dec 9, 2020 · d954e0c · d954e0c
2 parents 4b84e1e + a040d4b
commit d954e0c
Show file tree

Hide file tree

Showing 4 changed files with 842 additions and 1 deletion.
diff --git a/.ci/azure/pipeline-win.yml b/.ci/azure/pipeline-win.yml
@@ -2,6 +2,7 @@ jobs:
 - job: 'Windows_CI'
   pool:
     vmImage: 'windows-2019'
+  timeoutInMinutes: 75
   variables:
       PYMOR_HYPOTHESIS_PROFILE: ci
   strategy:

diff --git a/docs/source/try_on_binder.py b/docs/source/try_on_binder.py
@@ -31,7 +31,7 @@ def html_visit_binder_link_node(self, node):
     <a href=\"{node['target']}\">Click here</a> to run this tutorial on mybinder.org: <a href=\"{node['target']}\">
         <img src=\"{node['badge']}\" alt=\"try on mybinder.org\">
     </a><br/>
-    <emph>Please note that starting the notebook server make take a couple of minutes.</emph>
+    <emph>Please note that starting the notebook server may take a couple of minutes.</emph>
 </div>
     '''
     self.body.append(html)