Skip to content
PR Lint

chore: merge main into dev #1412

Sign in to view logs

chore: merge main into dev

chore: merge main into dev #1412

Triggered via pull request August 23, 2024 21:39
@mattstammattstam
opened #1390
Status Success
Total duration 2m 0s
Artifacts –

pr_lint.yml

on: pull_request_target
Title
6s
Title
Fit to window
Zoom out
Zoom in