Haskell-CI

Lemmata for `if_then_else_` #2182

Sign in to view logs

Triggered via pull request June 26, 2025 06:51

pmbittner

synchronize #2747

pmbittner:if-lemmas

Status Success

Total duration 3m 59s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux