Skip to content

feat: cleanup of List.getElem_append variants #4347

feat: cleanup of List.getElem_append variants

feat: cleanup of List.getElem_append variants #4347

Triggered via pull request September 11, 2024 05:36
Status Success
Total duration 12s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
4s
check-prelude
Fit to window
Zoom out
Zoom in