Lint

Update mathspp/Rodrigo Girao Serrao feed. #21

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Re-run triggered August 22, 2025 15:43

hugovk

#600

rodrigogiraoserrao:mathspp

Status Success

Total duration 15s

Artifacts –

lint.yml

on: pull_request