Skip to content
Maintainer merge

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

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 #307159

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

maintainer_merge.yml

on: pull_request_review
Ping maintainers on Zulip
0s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in