Skip to content

A rational which is a p-adic integer for all p is an integer. #236

A rational which is a p-adic integer for all p is an integer.

A rational which is a p-adic integer for all p is an integer. #236

Triggered via issue January 6, 2025 11:45
@kbuzzardkbuzzard
commented on #254 d7c4ef5
Status Failure
Total duration 14s
Artifacts

01-claim-issue.yml

on: issue_comment
claim_issue
0s
claim_issue
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
claim_issue
Process completed with exit code 5.
claim_issue
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636