no rr tracing on github...

.github/workflows/CI.yml

@@ -61,23 +61,12 @@ jobs:
             Pkg.add(url="https://github.com/benlorenz/Documenter.jl", rev="bl/printblockandtime027")
             Pkg.instantiate()'
       - name: "Run doctests"
-        env: 
-          JULIA_RR_RECORD_ARGS: -n
         run: |
-          echo -1 | sudo tee /proc/sys/kernel/perf_event_paranoid
-          julia --bug-report=rr-local -- --project=docs --depwarn=error --color=yes -e'
+          julia --project=docs --depwarn=error --color=yes -e'
             using Documenter
             using Oscar
             DocMeta.setdocmeta!(Oscar, :DocTestSetup, :(using Oscar; Oscar.AbstractAlgebra.set_current_module(@__MODULE__)); recursive = true)
             doctest(Oscar)'
-          ls -la $HOME/.local/share/rr/
-      - name: "Archive rr-trace"
-        if: success() || failure()
-        uses: actions/upload-artifact@v3
-        with:
-          name: doctest-rr-trace
-          path: |
-            $HOME/.local/share/rr
       - name: "Process code coverage"
         if: matrix.julia-version == '1.9'
         uses: julia-actions/julia-processcoverage@v1