Check for stage0 changes

chore: upstream `List.findIdx` lemmas #3082

Sign in to view logs

Triggered via pull request August 12, 2024 03:56

kim-em

opened #4995

upstream_findIdx_lemmas

Status Success

Total duration 38s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue