Ubuntu build

[ add ] inequalities for `2 ^ log₂ n` #5409

Sign in to view logs

Re-run triggered January 29, 2026 09:56

#2925

t-wissmann:master

Status Success

Total duration 43m 0s

Artifacts –

ci-ubuntu.yml

on: pull_request