Check for stage0 changes

feat: lemmas about BitVec.setWidth #8944

Sign in to view logs

Triggered via pull request January 28, 2025 22:46

kim-em

synchronize #6808

setwidth_lemmas

Status Success

Total duration 34s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue