Ubuntu build

Add boolean builtins in `Nat` #3044

Sign in to view logs

Triggered via pull request October 12, 2025 18:50

synchronize #1262

LorenzoMolena:nat-boolean-builtin

Status Success

Total duration 25m 27s

Artifacts –

ci-ubuntu.yml

on: pull_request