Ubuntu build

standard bijections of Natural numbers #3016

Sign in to view logs

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

Triggered via pull request August 13, 2025 16:10

Freek98

opened #1249

Freek98:NatBijections

Status Success

Total duration 1m 33s

Artifacts –

ci-ubuntu.yml

on: pull_request