Skip to content
Lint

Merge pull request #1 from named-data/reduce-log #88

Sign in to view logs

Merge pull request #1 from named-data/reduce-log

Merge pull request #1 from named-data/reduce-log #88

Triggered via push August 4, 2024 14:59
@tianyuan129tianyuan129
pushed c4b8d02
main
Status Success
Total duration 14s
Artifacts –

lint.yml

on: push
lint
5s
lint
Fit to window
Zoom out
Zoom in