Back to pull request #5228

feat: gaps in Bool lemmas #3827

Sign in to view logs

Triggered via pull request September 2, 2024 06:07

kim-em

synchronize #5228

bool_lemmas

Status Success

Total duration 38s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue