{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":613072114,"defaultBranch":"main","name":"spectec","ownerLogin":"Wasm-DSL","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-03-12T19:53:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/127451728?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727270054.0","currentOid":""},"activityList":{"items":[{"before":"cd291f738303511ca39a15861f205cd7a59b0587","after":"acd1b6a931347bdfe556697efcc3d1439ccf1305","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T08:51:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 1ff9bae865f4b42fe61a1e783f43bef6d1517a2e","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/1ff9bae865f4b42fe61a1e783f43bef6d1517a2e/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/1ff9bae865f4b42fe61a1e783f43bef6d1517a2e\"><tt>1ff9bae</tt></a>"}},{"before":"30394ff6a1d1eb0791f4183aff89c1550f245cdc","after":"1ff9bae865f4b42fe61a1e783f43bef6d1517a2e","ref":"refs/heads/main","pushedAt":"2024-09-26T08:42:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ShinWonho","name":null,"path":"/ShinWonho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50018375?s=80&v=4"},"commit":{"message":"Minor fix","shortMessageHtmlLink":"Minor fix"}},{"before":"becdbbddd4ba9633712b657f1e4769e84642e98c","after":"cd291f738303511ca39a15861f205cd7a59b0587","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T06:08:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 30394ff6a1d1eb0791f4183aff89c1550f245cdc","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/30394ff6a1d1eb0791f4183aff89c1550f245cdc/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/30394ff6a1d1eb0791f4183aff89c1550f245cdc\"><tt>30394ff</tt></a>"}},{"before":"e2c489431de2744b0e19106def273c31adea4186","after":"30394ff6a1d1eb0791f4183aff89c1550f245cdc","ref":"refs/heads/main","pushedAt":"2024-09-26T05:59:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"702fbtngus","name":null,"path":"/702fbtngus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79245586?s=80&v=4"},"commit":{"message":"Update Test.md","shortMessageHtmlLink":"Update Test.md"}},{"before":"56a6c25dd9a4dbc92ecba97b6b137631c712347c","after":null,"ref":"refs/heads/spectec+stack-switching-wasmfx","pushedAt":"2024-09-25T13:14:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alan-Liang","name":"Alan L","path":"/Alan-Liang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16379418?s=80&v=4"}},{"before":null,"after":"56a6c25dd9a4dbc92ecba97b6b137631c712347c","ref":"refs/heads/spectec+stack-switching-wasmfx","pushedAt":"2024-09-25T13:13:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alan-Liang","name":"Alan L","path":"/Alan-Liang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16379418?s=80&v=4"},"commit":{"message":"Merge branch 'stack-switching/wasmfx' into HEAD","shortMessageHtmlLink":"Merge branch 'stack-switching/wasmfx' into HEAD"}},{"before":"3c6f18fe8cff73eedef270b03969079e1666116b","after":"becdbbddd4ba9633712b657f1e4769e84642e98c","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T09:40:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: e2c489431de2744b0e19106def273c31adea4186","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/e2c489431de2744b0e19106def273c31adea4186/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/e2c489431de2744b0e19106def273c31adea4186\"><tt>e2c4894</tt></a>"}},{"before":"256d798883819591b550c9ac4200f7d3fb41b9d4","after":"e2c489431de2744b0e19106def273c31adea4186","ref":"refs/heads/main","pushedAt":"2024-09-25T09:31:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"702fbtngus","name":null,"path":"/702fbtngus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79245586?s=80&v=4"},"commit":{"message":"Validate CaseE with evalctx id","shortMessageHtmlLink":"Validate CaseE with evalctx id"}},{"before":"69bd6154a8233ce6632b7916568b8803af4da06a","after":"3c6f18fe8cff73eedef270b03969079e1666116b","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T07:58:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 256d798883819591b550c9ac4200f7d3fb41b9d4","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/256d798883819591b550c9ac4200f7d3fb41b9d4/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/256d798883819591b550c9ac4200f7d3fb41b9d4\"><tt>256d798</tt></a>"}},{"before":"665ea908f2ba40d5797d2ae83aefd2f2bcdf76cc","after":"256d798883819591b550c9ac4200f7d3fb41b9d4","ref":"refs/heads/main","pushedAt":"2024-09-25T07:49:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"f52985","name":"Dongjun Youn / 윤동준","path":"/f52985","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26792793?s=80&v=4"},"commit":{"message":"Fix rendering of limits ([i .. j])","shortMessageHtmlLink":"Fix rendering of limits ([i .. j])"}},{"before":"ba037f463e4101268257e38124ab6e26dfffa0f0","after":"fdb207d6adc9400bf34b651db114a538223ce041","ref":"refs/heads/valid-instr","pushedAt":"2024-09-25T05:05:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"presenthee","name":null,"path":"/presenthee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/77828537?s=80&v=4"},"commit":{"message":"Change rendering of none eq checks","shortMessageHtmlLink":"Change rendering of none eq checks"}},{"before":"2f175460b6eba65007c507dbe3df99e090b98f7b","after":"3d7de67e133dae5492d65a4317d2df041eb221ae","ref":"refs/heads/splice-modulesem","pushedAt":"2024-09-25T00:52:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jaehyun1ee","name":"Jaehyun Lee","path":"/jaehyun1ee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44872014?s=80&v=4"},"commit":{"message":"Update modules.rst","shortMessageHtmlLink":"Update modules.rst"}},{"before":null,"after":"2f175460b6eba65007c507dbe3df99e090b98f7b","ref":"refs/heads/splice-modulesem","pushedAt":"2024-09-25T00:44:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaehyun1ee","name":"Jaehyun Lee","path":"/jaehyun1ee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/44872014?s=80&v=4"},"commit":{"message":"Update modules.rst","shortMessageHtmlLink":"Update modules.rst"}},{"before":"544eeda3c50bc49ef2a5f7553c9b9575094b0d42","after":"69bd6154a8233ce6632b7916568b8803af4da06a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:32:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 665ea908f2ba40d5797d2ae83aefd2f2bcdf76cc","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/665ea908f2ba40d5797d2ae83aefd2f2bcdf76cc/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/665ea908f2ba40d5797d2ae83aefd2f2bcdf76cc\"><tt>665ea90</tt></a>"}},{"before":"7f10d0078435806aef368e4d090915e13cbb7daa","after":"665ea908f2ba40d5797d2ae83aefd2f2bcdf76cc","ref":"refs/heads/main","pushedAt":"2024-09-24T13:23:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rossberg","name":"Andreas Rossberg","path":"/rossberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4247099?s=80&v=4"},"commit":{"message":"Update test expects","shortMessageHtmlLink":"Update test expects"}},{"before":"36d485e7f59af867b2830cd2f12cea5294ce3567","after":"544eeda3c50bc49ef2a5f7553c9b9575094b0d42","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:18:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 7f10d0078435806aef368e4d090915e13cbb7daa","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/7f10d0078435806aef368e4d090915e13cbb7daa/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/7f10d0078435806aef368e4d090915e13cbb7daa\"><tt>7f10d00</tt></a>"}},{"before":"2907d07aacebb738188ada42d637b2723b1fe1aa","after":"7f10d0078435806aef368e4d090915e13cbb7daa","ref":"refs/heads/main","pushedAt":"2024-09-24T13:08:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rossberg","name":"Andreas Rossberg","path":"/rossberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4247099?s=80&v=4"},"commit":{"message":"Minor","shortMessageHtmlLink":"Minor"}},{"before":"3e8159066e3ec8d00639597779b511a6c946faf2","after":"36d485e7f59af867b2830cd2f12cea5294ce3567","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T12:13:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 2907d07aacebb738188ada42d637b2723b1fe1aa","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/2907d07aacebb738188ada42d637b2723b1fe1aa/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/2907d07aacebb738188ada42d637b2723b1fe1aa\"><tt>2907d07</tt></a>"}},{"before":"c85c0a6cce3c71c75382a4dd833fb9d28f9ac0e7","after":"2907d07aacebb738188ada42d637b2723b1fe1aa","ref":"refs/heads/main","pushedAt":"2024-09-24T12:05:01.000Z","pushType":"push","commitsCount":68,"pusher":{"login":"rossberg","name":"Andreas Rossberg","path":"/rossberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4247099?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'upstream/wasm-3.0'","shortMessageHtmlLink":"Merge remote-tracking branch 'upstream/wasm-3.0'"}},{"before":"41ffcbe01d12dc9e3335f0dfead34bd2f7b475e6","after":"ba037f463e4101268257e38124ab6e26dfffa0f0","ref":"refs/heads/valid-instr","pushedAt":"2024-09-24T08:13:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"presenthee","name":null,"path":"/presenthee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/77828537?s=80&v=4"},"commit":{"message":"Change rendering of eqops","shortMessageHtmlLink":"Change rendering of eqops"}},{"before":"4ae22aa48bc50ba2743c032225096d2206667f12","after":"41ffcbe01d12dc9e3335f0dfead34bd2f7b475e6","ref":"refs/heads/valid-instr","pushedAt":"2024-09-24T05:17:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"presenthee","name":null,"path":"/presenthee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/77828537?s=80&v=4"},"commit":{"message":"Remove zero-level bullets","shortMessageHtmlLink":"Remove zero-level bullets"}},{"before":"908dd390590b8a971b44329cd4262269ceeea82a","after":"3e8159066e3ec8d00639597779b511a6c946faf2","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T08:53:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: c85c0a6cce3c71c75382a4dd833fb9d28f9ac0e7","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/c85c0a6cce3c71c75382a4dd833fb9d28f9ac0e7/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/c85c0a6cce3c71c75382a4dd833fb9d28f9ac0e7\"><tt>c85c0a6</tt></a>"}},{"before":"f4682d52d3894bacba003db6b7fde5bd7d9b8f95","after":"c85c0a6cce3c71c75382a4dd833fb9d28f9ac0e7","ref":"refs/heads/main","pushedAt":"2024-09-23T08:45:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"702fbtngus","name":null,"path":"/702fbtngus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79245586?s=80&v=4"},"commit":{"message":"Changed get_subst","shortMessageHtmlLink":"Changed get_subst"}},{"before":"e2e12dbad89580de4463d6613f7fb110ed2f7892","after":"908dd390590b8a971b44329cd4262269ceeea82a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T06:08:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: f4682d52d3894bacba003db6b7fde5bd7d9b8f95","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/f4682d52d3894bacba003db6b7fde5bd7d9b8f95/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/f4682d52d3894bacba003db6b7fde5bd7d9b8f95\"><tt>f4682d5</tt></a>"}},{"before":"535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e","after":"f4682d52d3894bacba003db6b7fde5bd7d9b8f95","ref":"refs/heads/main","pushedAt":"2024-09-23T06:00:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"presenthee","name":null,"path":"/presenthee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/77828537?s=80&v=4"},"commit":{"message":"Make testpromote","shortMessageHtmlLink":"Make testpromote"}},{"before":"5f4e0ca17446252a77bbd338b1dbc429034f47f6","after":"e2e12dbad89580de4463d6613f7fb110ed2f7892","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T05:41:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e\"><tt>535fc6a</tt></a>"}},{"before":"6cf080832542103e84981fda482a6938da225802","after":"535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e","ref":"refs/heads/main","pushedAt":"2024-09-23T05:32:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"presenthee","name":null,"path":"/presenthee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/77828537?s=80&v=4"},"commit":{"message":"Minor change","shortMessageHtmlLink":"Minor change"}},{"before":"910a269473fb508fc19d9a12f02e7fed92794756","after":"5f4e0ca17446252a77bbd338b1dbc429034f47f6","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T05:32:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 6cf080832542103e84981fda482a6938da225802","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/6cf080832542103e84981fda482a6938da225802/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/6cf080832542103e84981fda482a6938da225802\"><tt>6cf0808</tt></a>"}},{"before":"229b01e8eb83527a3f34b0ec217915076c99f66c","after":"6cf080832542103e84981fda482a6938da225802","ref":"refs/heads/main","pushedAt":"2024-09-23T05:23:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"702fbtngus","name":null,"path":"/702fbtngus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79245586?s=80&v=4"},"commit":{"message":"Minor fix","shortMessageHtmlLink":"Minor fix"}},{"before":"b9a5e281aaec1a819c923cacdb29ac69f3738879","after":"910a269473fb508fc19d9a12f02e7fed92794756","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T05:18:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 229b01e8eb83527a3f34b0ec217915076c99f66c","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Wasm-DSL/spectec/commit/229b01e8eb83527a3f34b0ec217915076c99f66c/hovercard\" href=\"https://github.com/Wasm-DSL/spectec/commit/229b01e8eb83527a3f34b0ec217915076c99f66c\"><tt>229b01e</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQwODo1MTowMi4wMDAwMDBazwAAAATBPcso","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QwNToxODoxNC4wMDAwMDBazwAAAAS9j8OZ"}},"title":"Activity · Wasm-DSL/spectec"}