Skip to content

Expand rules from prove.jl #2683

Expand rules from prove.jl

Expand rules from prove.jl #2683

Triggered via pull request February 8, 2026 13:13
Status Success
Total duration 53m 49s
Artifacts

CI.yml

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

Annotations

2 warnings and 2 notices
Documentation: ../../../.julia/packages/Documenter/xvqbW/src/html/HTMLWriter.jl#L2003
Generated HTML over size_threshold_warn limit: appendices/listing.md Generated file size: 264.78 (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
97 docstrings not included in the manual: Core.Array :: Tuple{Union{Finch.SwizzleArray, Tensor}} Finch.cld_nothrow :: Tuple{Any, Any} Finch.scansearch :: Union{Tuple{T2}, Tuple{T1}, Tuple{Any, Any, T1, T2}} where {T1<:Integer, T2<:Integer} Finch.release_lock! :: Tuple{Finch.AbstractDevice, Any} Finch.FinchNotation.tag Finch.getindex_rep :: Tuple{Any, Vararg{Any}} Finch.lift_subqueries :: Tuple{Finch.FinchLogic.LogicNode} Finch.lift_fields :: Tuple{Any} Finch.eye_python :: NTuple{4, Any} Finch.dataflow :: Tuple{Any} Finch.DenseData Finch.argmax_python :: Tuple{Finch.AbstractTensor} Finch.evaluate_partial :: Tuple{Any, Any} Finch.propagate_transpose_queries :: Union{Tuple{Any}, Tuple{Any, Any}} Finch.make_lock Finch.combinedim :: Tuple{Any, Any, Any} Finch.rem_nothrow :: Tuple{Any, Any} Finch.filterop :: Tuple{Any} Finch.Galley.AdaptiveExecutorCode Finch.permutedims_rep :: Tuple{Any, Any} Finch.Galley.SmallBitSet :: Tuple{Vector{Int64}} Finch.push_fields :: Tuple{Any} Finch.get_lock :: Tuple{Finch.AbstractDevice, Any, Any, Any} Finch.FinchNotation.overwrite :: Tuple{Any, Any} Finch.aggregate_rep :: NTuple{4, Any} Finch.materialize_squeeze_expand_productions :: Tuple{Any} Base.argmax :: Tuple{Finch.AbstractTensor} Finch.mod1_nothrow :: Tuple{Any, Any} Finch.InitMin :: Union{Tuple{D}, Tuple{Any, Any}} where D Base.dropdims :: Tuple{Finch.AbstractTensor} Finch.instantiate! :: Tuple{Any, Any} Finch.expanddims :: Tuple{Finch.AbstractTensor} Finch.virtual_type :: Tuple{Any, Any, Any} Finch.unresolve :: Tuple{Any} Finch.InitMax :: Union{Tuple{D}, Tuple{Any, Any}} where D Finch.rep_construct Finch.unquote_literals :: Tuple{Any} Finch.FinchNotation.yieldbind Finch.aquire_lock! :: Tuple{Finch.AbstractDevice, Any} Finch.fld_nothrow :: Tuple{Any, Any} Finch.data_rep :: Tuple{Any} Finch.Infinitesimal Finch.exit_on_yieldbind :: Tuple{Any} Finch.enforce_scopes :: Tuple{Any} Finch.LazyTensor Finch.wrapperize :: Tuple{Finch.AbstractCompiler, Any} Finch.get_style :: Tuple{Any, Any} Base.resize! :: Tuple{Tensor, Vararg{Any}} Finch.get_binding! :: Tuple{Finch.AbstractCompiler, Any, Any} Finch.mod_nothrow :: Tuple{Any, Any} Finch.collapsed :: NTuple{6, Any} Finch.get_scheduler :: Tuple{} Finch.argmin_python :: Tuple{Finch.AbstractTensor} Finch.ElementData Finch.LogicCompiler Finch.cache_deferred! :: Tuple{Any, Finch.FinchLogic.LogicNode} 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.DefaultLogicOptimizer Finch.striplines :: Tuple{Expr} Finch.dimensionalize! :: Tuple{Any, Any} Base.argmin :: Tuple{Finch.AbstractTensor} Finch.enforce_lifecycles :: Tuple{Any} Finch.collapse_rep :: Tuple{Any} Finch.map_rep :: Tuple{Any, Vararg{Any}} Finch.ensure_concurrent :: Tuple{Any, Any} Finch.@StaGeD :: Tuple{Any} Finch.pretty :: Tuple{Any} Finch.expanddims_rep :: Tuple{Any, Any} Finch.get_wrapper_rules :: Tuple{Any, Any, Any} Finch.fiber_ctr Finch.ShardLevel Finch.set_loop_order :: Union{Tuple{Any}, Tuple{Any, Any}, Tuple{Any, Any, Any}} Finch.lower_global :: Tuple{Any, Any} Finch.Limit Finch.getunbound :: Tuple{Any} Finch.LogicExecutor Finch.regensym :: Tuple{Any} Finch.HollowData Finch.LogicInterpreter Finch.SerialTask Finch.fld1_nothrow :: Tuple{Any, Any} Finch.defer_tables :: Tuple{Any, Finch.FinchLogic.LogicNode} Finch.thaw_level! Finch.@closure :: Tuple{Any} Finch.SparseData Finch.RepeatData Finch.fspeye :: Tuple Finch.Galley.get_stats_list :: Tuple{GalleyOptimizer, Any} Finch.ExtrudeData Finch.SubFiber Finch.@barrier :: Tuple Finch.FinchNotation.initwrite :: Tuple{Any}
[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`