Skip to content
PR Lint

chore: merge main into dev #133

Sign in to view logs

chore: merge main into dev

chore: merge main into dev #133

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

pr_lint.yml

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