Build and Test on *BSD

Replace add_axioms_for_is_empty body with length(s) == 0 form #3310

Sign in to view logs

Triggered via pull request June 9, 2026 18:46

tautschnig

synchronize #8915

tautschnig:fix-8019-add_axioms_for_is_empty

Status Success

Total duration 53m 49s

Artifacts –

bsd.yaml

on: pull_request