Ubuntu build

Add boolean builtins in `Nat` #3042

Sign in to view logs

Triggered via pull request October 8, 2025 10:02

synchronize #1262

LorenzoMolena:nat-boolean-builtin

Status Success

Total duration 25m 20s

Artifacts –

ci-ubuntu.yml

on: pull_request