Thanks to visit codestin.com
Credit goes to github.com

Ubuntu build

Add boolean builtins in `Nat` #3043

Sign in to view logs

Summary
Jobs
- test-cubical
Run details
- Usage
- Workflow file

Triggered via pull request October 12, 2025 13:46

synchronize #1262

LorenzoMolena:nat-boolean-builtin

Status Success

Total duration 24m 52s

Artifacts –

ci-ubuntu.yml

on: pull_request