Build documentation

Do not allow external Pari 2.17 or later #15745

Sign in to view logs

Summary
Jobs
- build-doc
Run details
- Usage
- Workflow file

Triggered via pull request October 5, 2024 20:54

jhpalmieri

opened #38772

jhpalmieri:no-pari-2.17

Status Cancelled

Total duration 5m 0s

Artifacts –

doc-build.yml

on: pull_request

Annotations

2 errors

Canceling since a higher priority waiting request for 'Build documentation-refs/pull/38772/merge' exists

The operation was canceled.