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

deploy d0befadd (PR#36 harness tools)

Browse Source
This commit is contained in:
jerry
2026-08-27 13:50:11 +00:00
parent 987736aa17
commit d570c7df57
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": "6fbe8278a2e6094f79684eb6ecedd3d875a903a2", "sha": "d0befadd0c2e75cca1b3eb65f81b570d230ea2f5",
"frontend_file_id": "4f7b4b85-d7e5-462b-bcdd-037b0dbf198b", "frontend_file_id": "292fd8c3-1cf3-495b-8386-770cfd40e9db",
"frontend_sha256": "b63193a403dcd5edca897b1a9104d1b153769f1523db470a0b0e54fe82ffa6f8", "frontend_sha256": "0e161978b2cb97aa908ea133556df054a85331c0cb76d61c04ea1718edb2381d",
"note": "PR#35: blockrun-tools mcp pin + deployer hardening" "note": "PR#36: harness self-awareness tools (includes PR#35 blockrun pin)"
} }