add logging, disable warning

.gitlab-ci.yml

@@ -4,7 +4,7 @@ build lectures:
   before_script:
     - pip install -Ur requirements.txt
   script:
-    - mkdocs build
+    - PYDEVD_DISABLE_FILE_VALIDATION=1 mkdocs build
   artifacts:
     paths:
       - site

execute.py

 from pathlib import Path
+from logging import getLogger
 
 from mkdocs.structure.files import File
 from mkdocs.plugins import BasePlugin
@@ -8,6 +9,8 @@ from traitlets.config import Config
 import jupytext
 import os
 
+log = getLogger("mkdocs.plugins.execute")
+log.setLevel("INFO")
 
 output_extractor = ExtractOutputPreprocessor()
 output_extractor.extract_output_types = (
@@ -59,6 +62,7 @@ class Plugin(BasePlugin):
         os.environ["PLOTLY_RENDERER"] = "plotly_mimetype"
         src_path = page.file.abs_src_path
         notebook = jupytext.read(src_path)
+        log.info(f"Executing {src_path}")
         output, resources = exporter.from_notebook_node(
             notebook,
             resources={