Move to CircleCI to continue building

2022-11-01 14:17:09 +01:00
parent 5164426548
commit 3dabf375c9
6 changed files with 46 additions and 19 deletions
@@ -88,10 +88,10 @@ html_theme = 'alabaster'
 #
 html_theme_options = {
    'github_banner': True,
-    'github_button': False,
+    'github_button': True,
    'github_user': 'f4lco',
    'github_repo': 'om-parser-stw-potsdam-v2',
-    'travis_button': True,
+    'travis_button': False,
 }