Skip to content

rename settings.local.json to settings.json #161

rename settings.local.json to settings.json

rename settings.local.json to settings.json #161

Triggered via pull request August 5, 2025 16:42
Status Success
Total duration 4m 0s
Artifacts 2

receive-pr.yml

on: pull_request
upload-patch  /  upload-patch
1m 43s
upload-patch / upload-patch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
patch Expired
144 Bytes
sha256:3a18e9f08dc224cac3b6c500a5191fdb0e243796bebd061d8e2a32a80331249e
pr_number Expired
145 Bytes
sha256:2f8a4b10f48adb695a3e3458c70f0ce885b4bcf8344235a072863934dfd8079a