Skip to content

chore(Data/PFunctor): fix defeq abuse in PFunctor.Obj #29238

chore(Data/PFunctor): fix defeq abuse in PFunctor.Obj

chore(Data/PFunctor): fix defeq abuse in PFunctor.Obj #29238

Triggered via pull request August 22, 2026 23:58
@plp127plp127
opened #43056
Status Success
Total duration 1m 28s
Artifacts

add_label_from_diff.yaml

on: pull_request_target
Add topic label
1m 25s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
added label: #[t-data]
Add topic label
Applicable labels: #[t-data]