Skip to content

Equality of conatural numbers #8551

Equality of conatural numbers

Equality of conatural numbers #8551

Triggered via pull request January 30, 2025 18:35
Status Success
Total duration 3m 20s
Artifacts

ci.yaml

on: pull_request
pre-commit
41s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
typecheck (macOS-13, 2.7.0)
Cache save failed.
typecheck (ubuntu-latest, 2.7.0)
Cache save failed.