Linting

Merge pull request #293 from oscarbenjamin/pr_types_fmpz_mod #393

Sign in to view logs

Triggered via push June 26, 2025 13:35

main

Status Success

Total duration 21s

Artifacts –

lint.yml

on: push

Matrix: lint