Ubuntu build

Add boolean builtins in `Nat` #3046

Sign in to view logs

Triggered via pull request October 17, 2025 16:31

synchronize #1262

LorenzoMolena:nat-boolean-builtin

Status Success

Total duration 25m 25s

Artifacts –

ci-ubuntu.yml

on: pull_request