Skip to content
PR Lint

chore: merge main into dev #131

Sign in to view logs

chore: merge main into dev

chore: merge main into dev #131

Triggered via pull request May 19, 2024 20:42
@ctian1ctian1
opened #757
Status Success
Total duration 20s
Artifacts –

pr_lint.yml

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