Skip to content
Lint

Do not allow external Pari 2.17 or later #15748

Sign in to view logs

Do not allow external Pari 2.17 or later

Do not allow external Pari 2.17 or later #15748

Triggered via pull request October 5, 2024 20:54
@jhpalmierijhpalmieri
opened #38772
jhpalmieri:no-pari-2.17
Status Success
Total duration 4m 33s
Artifacts –

lint.yml

on: pull_request
Lint
4m 23s
Lint
Fit to window
Zoom out
Zoom in