Skip to content
Linting

Automatically generate fmpz_* pxds from FLINT headers #33

Sign in to view logs

Automatically generate fmpz_* pxds from FLINT headers

Automatically generate fmpz_* pxds from FLINT headers #33

Triggered via pull request September 3, 2024 20:20
@oscarbenjaminoscarbenjamin
opened #215
oscarbenjamin:pr_auto_pxd
Status Success
Total duration 25s
Artifacts –

lint.yml

on: pull_request
Matrix: lint
Fit to window
Zoom out
Zoom in