Skip to content

Irrationality of the square root of 2 #8369

Irrationality of the square root of 2

Irrationality of the square root of 2 #8369

Triggered via pull request December 7, 2024 17:09
Status Failure
Total duration 4m 23s
Artifacts

ci.yaml

on: pull_request
pre-commit
39s
pre-commit
link-check
0s
link-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
pre-commit
Process completed with exit code 1.
typecheck (ubuntu-latest, 2.6.4)
Process completed with exit code 2.
typecheck (macOS-13, 2.6.4)
The job was canceled because "ubuntu-latest_2_6_4" failed.
typecheck (macOS-13, 2.6.4)
The operation was canceled.
typecheck (ubuntu-latest, 2.6.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636