Skip to content
Label PR based on Comment

[Merged by Bors] - feat(Data/List): Nodup and head & getLast lemmas #205336

Sign in to view logs

[Merged by Bors] - feat(Data/List): Nodup and head & getLast lemmas

[Merged by Bors] - feat(Data/List): Nodup and head & getLast lemmas #205336

Triggered via pull request July 24, 2026 14:51
@ocfnashocfnash
submitted #38830
Status Success
Total duration 5s
Artifacts –

labels_from_comment.yml

on: pull_request_review
update-label
2s
update-label
Fit to window
Zoom out
Zoom in