jerry/ops
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

deploy 86d3787712aca2b80399b4ecff0f1f0fd4832af0 (PR32)

Browse Source
This commit is contained in:
jerry
2026-08-27 03:24:25 +00:00
parent a1ba6c8bec
commit d5192b625f
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
manifest.json
View File

@@ -1,6 +1,6 @@
{ {
"sha": "7188917c9e4fbb7ad29bee7290d6f901f96bbaed", "sha": "86d3787712aca2b80399b4ecff0f1f0fd4832af0",
"frontend_file_id": "da395c05-aea5-4ccf-af95-d63429f7bddc", "frontend_file_id": "245a07cc-0356-4b36-9bb9-1cef26079338",
"frontend_sha256": "6fb793838048c3d0db7bcf0c3ac58e485f573e397aefbb50ba7e92fb03c73783", "frontend_sha256": "c406d915ad98c9ae93967c7fd96effb336fc448c5ce8ff4c1f55882ed076375c",
"note": "PR31 deeper recorder capture" "note": "PR32 no tool schemas to mpp upstreams"
} }