Check for stage0 changes

chore: BitVec.Lemmas - drop non-terminal simps #4738

Sign in to view logs

Triggered via pull request September 28, 2024 10:00

synchronize #5499

opencompl:bv_non-terminal-simps

Status Success

Total duration 37s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue