feat(Analysis/SpecialFunctions): generating function of besselJ · leanprover-community/mathlib4@3723751

Triggered via pull request September 20, 2026 03:19

wwylele

synchronize #43978

wwylele:bessel-sum

Status Success

Total duration 41s

Artifacts 1

commit_verification.yml

on: pull_request

1 notice

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Produced during runtime

Name	Size	Digest
workflow-data	1.04 KB	`sha256:801fdc39c1141c25f4614fd3402c2ef4cb81032e59978abb6b0cfdad7b3cca37`