Skip to content

rename settings.local.json to settings.json #1473

rename settings.local.json to settings.json

rename settings.local.json to settings.json #1473

Triggered via pull request August 5, 2025 16:43
Status Success
Total duration 2m 52s
Artifacts 2

receive-pr.yml

on: pull_request
upload-patch  /  upload-patch
2m 40s
upload-patch / upload-patch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
patch Expired
144 Bytes
sha256:99a326b705e4cf3eabe515eab636dadd6c67660188f916e2fbef65ad7a1a904e
pr_number Expired
146 Bytes
sha256:8e4b89a2961d46a362f7becb78c5be1a96ea0edfd8037d707cc1e3e2c73adb57