Linters

Double-check file sizes before & after uploading #5236

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request December 13, 2023 18:35

jwodder

synchronize #1374

gh-1373

Status Success

Total duration 24s

Artifacts –

lint.yml

on: pull_request