Skip to content

chore: merge internal repo changes #1313

chore: merge internal repo changes

chore: merge internal repo changes #1313

Triggered via pull request December 18, 2023 21:31
Status Success
Total duration 2m 45s
Artifacts

generate-files.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
No github_token supplied, API requests will be subject to stricter rate limiting