Ubuntu build

Lemmata for `if_then_else_` #4831

Sign in to view logs

Triggered via pull request June 26, 2025 06:50

pmbittner

synchronize #2747

pmbittner:if-lemmas

Status Success

Total duration 39m 56s

Artifacts –

ci-ubuntu.yml

on: pull_request