From f60f3f0d638de633cf41c5c9eb78639fa8631ff4 Mon Sep 17 00:00:00 2001
From: Simon Exner <43469235+0815Creeper@users.noreply.github.com>
Date: Tue, 1 Oct 2024 10:43:31 +0200
Subject: [PATCH] fixes for action to prevent windows IO Errors

---
 .github/workflows/Example.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Example.yml b/.github/workflows/Example.yml
index 3d99b893..16d7fe42 100644
--- a/.github/workflows/Example.yml
+++ b/.github/workflows/Example.yml
@@ -46,7 +46,7 @@ jobs:
         run: jupyter nbconvert --ExecutePreprocessor.kernel_name="julia-${{ matrix.julia-version }}" --to notebook --inplace --execute ${{ env.FILE }}
       
       - name: "Fix SVGs"
-        run: julia -e 'using Pkg; Pkg.add("JSON"); using JSON; data = JSON.parsefile("examples/jupyter-src/${{ matrix.file-name }}.ipynb"); function search_and_remove!(json, tag, content=""); if typeof(json) == Vector{Any}; for e in json; search_and_remove!(e, tag, content); end; elseif typeof(json) == Dict{String, Any}; for (t, c) in json; if contains(t, tag) && (content == "" || any([contains(line, content) for line in c])); pop!(json, t); else; search_and_remove!(c, tag, content); end; end; end; end; search_and_remove!(data, "text/html", "<?xml "); open("examples/jupyter-src/${{ matrix.file-name }}.ipynb","w") do f; JSON.print(f, data, 1); end'
+        run: julia -e 'using Pkg; Pkg.add("JSON"); using JSON; data = JSON.parsefile(joinpath("examples", "jupyter-src", "${{ matrix.file-name }}.ipynb"); use_mmap=false); function search_and_remove!(json, tag, content=""); if typeof(json) == Vector{Any}; for e in json; search_and_remove!(e, tag, content); end; elseif typeof(json) == Dict{String, Any}; for (t, c) in json; if contains(t, tag) && (content == "" || any([contains(line, content) for line in c])); pop!(json, t); else; search_and_remove!(c, tag, content); end; end; end; end; search_and_remove!(data, "text/html", "<?xml "); open(joinpath("examples", "jupyter-src", "tmp_${{ matrix.file-name }}.ipynb"),"w") do f; JSON.print(f, data, 1); end; mv(joinpath("examples", "jupyter-src", "tmp_${{ matrix.file-name }}.ipynb"), joinpath("examples", "jupyter-src", "${{ matrix.file-name }}.ipynb"); force=true);'
 
       - name: "Export notebook to jl and md"
         env: