Skip to content

chore: add missing simp to Array.size_feraseIdx #4982

chore: add missing simp to Array.size_feraseIdx

chore: add missing simp to Array.size_feraseIdx #4982

Triggered via pull request October 2, 2024 00:51
Status Success
Total duration 11s
Artifacts

check-prelude.yml

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