Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

reference for 'Fixpoint' could not be found in src/tutorials/while_interpreter.md.

reference for 'Prewalk' could not be found in src/tutorials/while_interpreter.md.

reference for 'Postwalk' could not be found in src/tutorials/while_interpreter.md.

reference for 'Rewriters' could not be found in src/tutorials/while_interpreter.md.

failed to run `@example` block in src/tutorials/mu.md:54-62 ```@example mu @test true == test_equality(miu, start, :(M ⋅ I ⋅ END); params) # (1) inital axiom @test true == test_equality(miu, start, :(M ⋅ I ⋅ I ⋅ END); params) # (2) from (1) by Rule 2 @test true == test_equality(miu, start, :(M ⋅ I ⋅ I ⋅ I ⋅ I ⋅ END); params) # (3) from (2) by Rule 2 [this is incorrectly given as MIII in the book] @test true == test_equality(miu, start, :(M ⋅ I ⋅ I ⋅ I ⋅ I ⋅ U ⋅ END); params) # (4) from (3) by Rule 1 @test true == test_equality(miu, start, :(M ⋅ U ⋅ I ⋅ U ⋅ END); params) # (5) from (4) by Rule 3 @test true == test_equality(miu, start, :(M ⋅ U ⋅ I ⋅ U ⋅ U ⋅ I ⋅ U ⋅ END); params) # (6) from (5) by Rule 2 @test true == test_equality(miu, start, :(M ⋅ U ⋅ I ⋅ I ⋅ U ⋅ END); params) # (7) from (6) by Rule 4 ``` c.value = Test.FallbackTestSetException("There was an error during testing")

failed to run `@example` block in src/tutorials/mu.md:46-50 ```@example mu params = SaturationParams(timeout = 20, eclasslimit = 20000) start = :(M ⋅ I ⋅ END) @test false == test_equality(miu, start, :(M ⋅ U ⋅ END); params) ``` c.value = Test.FallbackTestSetException("There was an error during testing")

failed to run `@example` block in src/tutorials/mu.md:11-15 ```@example mu using Metatheory, Test include("../../examples/prove.jl") ``` c.value = SystemError: opening file "/home/runner/work/Metatheory.jl/Metatheory.jl/docs/examples/prove.jl": No such file or directory

failed to run `@example` block in src/tutorials/lambda_theory.md:190-213 ```@example lambda_theory Let(v, e, c::Any) --> c Let(v1, e, Variable(v1)) --> e Let(v1, e, Variable(v2)) => v1 == v2 ? e : Variable(v2) Let(v1, e, λ(v1, body)) --> λ(v1, body) Apply(λ(v, body), e) --> Let(v, e, body) Let(v, e, Apply(a, b)) --> Apply(Let(v, e, a), Let(v, e, b)) Let(v1, e, λ(v2, body)) => if isfree(_egraph, e, v2) fresh = freshvar() λ(fresh, Let(v1, e, Let(v2, Variable(fresh), body))) else λ(v2, Let(v1, e, body)) end end x = Variable(:x) y = Variable(:y) ex = Apply(λ(:x, λ(:y, Apply(x, y))), y) g = EGraph{LambdaExpr,LambdaAnalysis}(ex) params = SaturationParams(timer = false, check_memo = true, check_analysis = true) saturate!(g, λT, params) @test λ(:a₂, Apply(y, Variable(:a₂))) == extract!(g, astsize) @test Set([:y]) == g[g.root].data ``` c.value = UndefVarError: `v` not defined in `Main.var"ex-lambda_theory"` Suggestion: check for spelling errors or missing imports.

failed to parse exception in src/tutorials/lambda_theory.md exception = ParseError: # Error @ none:1:1 end └─┘ ── invalid identifier

failed to run `@example` block in src/tutorials/lambda_theory.md:65-67 ```@example lambda_theory λT = @theory v e c v1 v2 a b body begin ``` c.value = ParseError: # Error @ none:1:41 λT = @theory v e c v1 v2 a b body begin # └ ── premature end of input