Skip to content

chore: add deprecation for Array.get_modify #3487

chore: add deprecation for Array.get_modify

chore: add deprecation for Array.get_modify #3487

Triggered via pull request August 8, 2024 10:56
Status Success
Total duration 11s
Artifacts

check-prelude.yml

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