Linting

Merge pull request #306 from oscarbenjamin/pr_prec_series #444

Sign in to view logs

Triggered via push July 25, 2025 00:25

main

Status Success

Total duration 24s

Artifacts –

lint.yml

on: push

Matrix: lint