Skip to content
Add "ready-to-merge" and "delegated" label

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n) #167367

Sign in to view logs

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n)

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for sum (fun n : ℕ ↦ x ^ n) #167367

Triggered via pull request December 22, 2025 13:44
@b-mehtab-mehta
submitted #32645
Status Success
Total duration 7s
Artifacts 1

maintainer_bors.yml

on: pull_request_review
Add ready-to-merge or delegated label
4s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
267 Bytes
sha256:60ebe4e04214a0dd28afe50229120f1fb31276817ebbc8b3104eef8a1db3942d
⚡