Skip to content

Merge pull request #794 from finch-tensor/ms/tweak-prove-rules #2686

Merge pull request #794 from finch-tensor/ms/tweak-prove-rules

Merge pull request #794 from finch-tensor/ms/tweak-prove-rules #2686

Triggered via push February 16, 2026 19:43
Status Success
Total duration 55m 59s
Artifacts

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 2 notices
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v0.3` and linking `v0.3` to `v0.3.1`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v0.4` and linking `v0.4` to `v0.4.0`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v0.5` and linking `v0.5` to `v0.5.4`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v0.6` and linking `v0.6` to `v0.6.33`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v1.0` and linking `v1.0` to `v1.0.1`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v1.1` and linking `v1.1` to `v1.1.0`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `v1.2` and linking `v1.2` to `v1.2.12`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/deploydocs.jl#L593
removing `stable` and linking `stable` to `v1.2.12`.
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/html/HTMLWriter.jl#L2003
Generated HTML over size_threshold_warn limit: appendices/listing.md Generated file size: 266.8 (KiB) size_threshold_warn: 100.0 (KiB) size_threshold: 976.56 (KiB) HTML file: appendices/listing/index.html
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/utilities/utilities.jl#L49
98 docstrings not included in the manual: Finch.RepeatData Finch.argmax_python :: Tuple{Finch.AbstractTensor} Finch.@closure :: Tuple{Any} Finch.fld1_nothrow :: Tuple{Any, Any} Finch.instantiate! :: Tuple{Any, Any} Finch.get_style :: Tuple{Any, Any} Finch.materialize_squeeze_expand_productions :: Tuple{Any} Finch.combinedim :: Tuple{Any, Any, Any} Finch.LogicCompiler Finch.cache_deferred! :: Tuple{Any, Finch.FinchLogic.LogicNode} Finch.Galley.SmallBitSet :: Tuple{Vector{Int64}} Finch.Galley.get_stats_list :: Tuple{GalleyOptimizer, Any} Finch.propagate_transpose_queries :: Union{Tuple{Any}, Tuple{Any, Any}} Finch.CoalesceLevel Finch.FinchNotation.initwrite :: Tuple{Any} Finch.DenseData Finch.getindex_rep :: Tuple{Any, Vararg{Any}} Finch.release_lock! :: Tuple{Finch.AbstractDevice, Any} Finch.ShardLevel Base.argmin :: Tuple{Finch.AbstractTensor} Finch.lift_subqueries :: Tuple{Finch.FinchLogic.LogicNode} Finch.Galley.AdaptiveExecutorCode Finch.argmin_python :: Tuple{Finch.AbstractTensor} Finch.aquire_lock! :: Tuple{Finch.AbstractDevice, Any} Finch.FinchNotation.overwrite :: Tuple{Any, Any} Finch.push_fields :: Tuple{Any} Base.resize! :: Tuple{Tensor, Vararg{Any}} Finch.get_scheduler :: Tuple{} Finch.SparseData Finch.ensure_concurrent :: Tuple{Any, Any} Finch.unresolve :: Tuple{Any} Finch.dataflow :: Tuple{Any} Finch.fspeye :: Tuple Finch.pretty :: Tuple{Any} Finch.LogicExecutorCode Finch.@barrier :: Tuple Finch.LogicInterpreter Finch.LogicExecutor Finch.get_wrapper_rules :: Tuple{Any, Any, Any} Finch.defer_tables :: Tuple{Any, Finch.FinchLogic.LogicNode} Finch.expanddims :: Tuple{Finch.AbstractTensor} Finch.set_loop_order :: Union{Tuple{Any}, Tuple{Any, Any}, Tuple{Any, Any, Any}} Finch.fiber_ctr Finch.DefaultLogicOptimizer Finch.getunbound :: Tuple{Any} Finch.Limit Finch.scansearch :: Union{Tuple{T2}, Tuple{T1}, Tuple{Any, Any, T1, T2}} where {T1<:Integer, T2<:Integer} Finch.FinchNotation.tag Finch.Infinitesimal Finch.@StaGeD :: Tuple{Any} Finch.SerialTask Finch.virtual_type :: Tuple{Any, Any, Any} Finch.concordize :: Tuple{Any} Finch.concordize :: Tuple{Finch.AbstractCompiler, Any} Finch.FinchNotation.yieldbind Finch.mod1_nothrow :: Tuple{Any, Any} Finch.ExtrudeData Finch.rep_construct Base.dropdims :: Tuple{Finch.AbstractTensor} Finch.rem_nothrow :: Tuple{Any, Any} Finch.get_structure :: Union{Tuple{Finch.FinchLogic.LogicNode}, Tuple{Finch.FinchLogic.LogicNode, Dict{Symbol, Finch.FinchLogic.LogicNode}}, Tuple{Finch.FinchLogic.LogicNode, Dict{Symbol, Finch.FinchLogic.LogicNode}, Dict{Symbol, Finch.FinchLogic.LogicNode}}} Finch.collapsed :: NTuple{6, Any} Finch.striplines :: Tuple{Expr} Finch.HollowData Finch.mod_nothrow :: Tuple{Any, Any} Finch.get_binding! :: Tuple{Finch.AbstractCompiler, Any, Any} Finch.aggregate_rep :: NTuple{4, Any} Finch.filterop :: Tuple{Any} Finch.regensym :: Tuple{Any} Finch.make_lock Finch.enforce_lifecycles :: Tuple{Any} Finch.expanddims_rep :: Tuple{Any, Any} Finch.exit_on_yieldbind :: Tuple{Any} Finch.collapse_rep :: Tuple{Any} Core.Array :: Tuple{Union{Finch.SwizzleArray, Tensor}} Finch.SubFiber Finch.InitMax :: Union{Tuple{D}, Tuple{Any, Any}} where D Finch.eye_python :: NTuple{4, Any} Finch.map_rep :: Tuple{Any, Vararg{Any}} Finch.lift_fields :: Tuple{Any} Finch.fld_nothrow :: Tuple{Any, Any} Finch.dimensionalize! :: Tuple{Any, Any} Finch.lower_global :: Tuple{Any, Any} Finch.InitMin :: Union{Tuple{D}, Tuple{Any, Any}} where D Base.argmax :: Tuple{Finch.AbstractTensor} Finch.LazyTensor Finch.get_lock :: Tuple{Finch.AbstractDevice, Any, Any, Any} Finch.ElementData Finch.permutedims_rep :: Tuple{Any, Any} Finch.cld_nothrow :: Tuple{Any, Any} Finch.thaw_level! Finch.enforce_scopes :: Tuple{Any} Finch.evaluate_partial :: Tuple{A
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache To ignore, set input `ignore-no-cache: true`