Skip to content
Backport

feat: grind annotations for List/Array/Vector.ofFn theorems and List.Impl #10513

Sign in to view logs

feat: grind annotations for List/Array/Vector.ofFn theorems and List.Impl

feat: grind annotations for List/Array/Vector.ofFn theorems and List.Impl #10513

Triggered via pull request June 12, 2025 17:47
@kim-emkim-em
labeled #8749
Status Skipped
Total duration 1s
Artifacts –

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in