Skip to content
Linting

Automatically generate fmpz_* pxds from FLINT headers #34

Sign in to view logs

Automatically generate fmpz_* pxds from FLINT headers

Automatically generate fmpz_* pxds from FLINT headers #34

Triggered via pull request September 3, 2024 21:35
@oscarbenjaminoscarbenjamin
synchronize #215
oscarbenjamin:pr_auto_pxd
Status Success
Total duration 23s
Artifacts –

lint.yml

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