Linting

Merge pull request #307 from oscarbenjamin/pr_typing #448

Sign in to view logs

Triggered via push July 29, 2025 22:28

main

Status Success

Total duration 20s

Artifacts –

lint.yml

on: push

Matrix: lint