{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":316195970,"defaultBranch":"develop","name":"rzk","ownerLogin":"rzk-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-11-26T10:28:20.000Z","ownerAvatar":"https://github.com/avatars/u/139073969?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723962946.0","currentOid":""},"activityList":{"items":[{"before":"25dd17aa159d3e19cbfbf14ce44ad170e4699252","after":"51fb959de4ee07b05e8dc553fba184b65a2c0f8b","ref":"refs/heads/main","pushedAt":"2024-08-27T08:04:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Merge pull request #185 from swamp-agr/main\n\nBump `mtl` to `2.3.1`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317821907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rzk-lang/rzk/issues/185\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rzk-lang/rzk/pull/185/hovercard\" href=\"https://github.com/rzk-lang/rzk/pull/185\">#185</a> from swamp-agr/main"}},{"before":"593e6428b3f8f922b42ff697e32e31dc401d7533","after":"c51a654531dee643f40e6a5a0b41306965fa6fe4","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T07:22:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@0d3070ecbd9d929528b6ff379d046dfd66ba1d1b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/0d3070ecbd9d929528b6ff379d046dfd66ba1d1b/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/0d3070ecbd9d929528b6ff379d046dfd66ba1d1b\"><tt>0d3070e</tt></a> 🚀"}},{"before":"d72ae53c1139f6e32f47a3ba6908b41b03f51d52","after":"593e6428b3f8f922b42ff697e32e31dc401d7533","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:44:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@25dd17aa159d3e19cbfbf14ce44ad170e4699252 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252\"><tt>25dd17a</tt></a> 🚀"}},{"before":"8aad7240983086f4398f68a48e86d1ee5d865167","after":"d72ae53c1139f6e32f47a3ba6908b41b03f51d52","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:43:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@25dd17aa159d3e19cbfbf14ce44ad170e4699252 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252\"><tt>25dd17a</tt></a> 🚀"}},{"before":"42a617a05d258dedd602e5dc86690d4a37e2c15c","after":"8aad7240983086f4398f68a48e86d1ee5d865167","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:40:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@25dd17aa159d3e19cbfbf14ce44ad170e4699252 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252\"><tt>25dd17a</tt></a> 🚀"}},{"before":"7410b20d50184b932e34ae0f41b3d6d45357a71b","after":"42a617a05d258dedd602e5dc86690d4a37e2c15c","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:40:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@0d3070ecbd9d929528b6ff379d046dfd66ba1d1b 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/0d3070ecbd9d929528b6ff379d046dfd66ba1d1b/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/0d3070ecbd9d929528b6ff379d046dfd66ba1d1b\"><tt>0d3070e</tt></a> 🚀"}},{"before":"d782ae21729ba52171b487b2a6b5d80371528ff7","after":"7410b20d50184b932e34ae0f41b3d6d45357a71b","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:36:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deployed 25dd17a to v0.7.5 in ru/ with MkDocs 1.6.0 and mike 2.0.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252\"><tt>25dd17a</tt></a> to v0.7.5 in ru/ with MkDocs 1.6.0 and mike 2.0.0"}},{"before":"88af85943f365aa500633de001b23f0df7b84eb2","after":"d782ae21729ba52171b487b2a6b5d80371528ff7","ref":"refs/heads/gh-pages","pushedAt":"2024-08-18T06:36:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deployed 25dd17a to v0.7.5 in en/ with MkDocs 1.6.0 and mike 2.0.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/25dd17aa159d3e19cbfbf14ce44ad170e4699252\"><tt>25dd17a</tt></a> to v0.7.5 in en/ with MkDocs 1.6.0 and mike 2.0.0"}},{"before":"566a6e90eb68158c56bf1052b8d31c0f43227846","after":null,"ref":"refs/heads/release-v0.7.5","pushedAt":"2024-08-18T06:35:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"}},{"before":"6efd48e2338692e9afa97e6d06858217869489fa","after":"0d3070ecbd9d929528b6ff379d046dfd66ba1d1b","ref":"refs/heads/develop","pushedAt":"2024-08-18T06:35:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Merge branch 'release-v0.7.5' into develop\n\n* release-v0.7.5:\n  Bump version and update changelog","shortMessageHtmlLink":"Merge branch 'release-v0.7.5' into develop"}},{"before":"0ac67366b64751cedea8198a023b14db9905cce8","after":"25dd17aa159d3e19cbfbf14ce44ad170e4699252","ref":"refs/heads/main","pushedAt":"2024-08-18T06:35:26.000Z","pushType":"push","commitsCount":26,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Merge branch 'release-v0.7.5'\n\n* release-v0.7.5:\n  Bump version and update changelog\n  Support newer lsp\n  Switch to macos-12 (since macos-latest does not have Stack yet)\n  Update all actions\n  Made naming consistent for Sigma Tuples\n  Added tuple patterns\n  Support tuple patterns (desugared to left-associative nested pairs)\n  Added lsp tokenization\n  Added ASCII and Unicode rules\n  Corrected overlapping rule\n  Implemented syntactic sugar for nested sigma types\n  Bump nixpkgs version\n  Improve error reporting for unused variables\n  Mention Ground Zero project (HoTT formalization in Lean 4)\n  Fix Markdown formatting in the changelog\n  Correct location for parse error diagnostics","shortMessageHtmlLink":"Merge branch 'release-v0.7.5'"}},{"before":"f43a768410baba588cd8db00f8c82a2e2ebaea34","after":"88af85943f365aa500633de001b23f0df7b84eb2","ref":"refs/heads/gh-pages","pushedAt":"2024-08-17T23:20:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@6efd48e2338692e9afa97e6d06858217869489fa 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/6efd48e2338692e9afa97e6d06858217869489fa/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/6efd48e2338692e9afa97e6d06858217869489fa\"><tt>6efd48e</tt></a> 🚀"}},{"before":"15f2508ee0f87f45babe755ba1d75b1055175dd8","after":"0ac67366b64751cedea8198a023b14db9905cce8","ref":"refs/heads/main","pushedAt":"2024-08-17T23:10:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Merge branch 'release-v0.7.4'\n\n* release-v0.7.4:\n  Bump version and update changelog\n  fix(rzk-playground): update package-lock\n  fix(ci > ghcjs): caching\n  fix(rzk-playground): add type annotation\n  fix(package): dependency versions\n  fix(rzk-playground): use default vite readme\n  Fix caching in presence of errors\n  Use proper record, not anonymous triple\n  fix typo\n  Add type errors to the cache\n  Move changed files handler to the handlers module\n  Move semantic tokens provider to handlers module","shortMessageHtmlLink":"Merge branch 'release-v0.7.4'"}},{"before":"12c94dc6f9ca5238ab5d6df21e3af66a8ba07901","after":"566a6e90eb68158c56bf1052b8d31c0f43227846","ref":"refs/heads/release-v0.7.5","pushedAt":"2024-08-17T23:08:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Bump version and update changelog","shortMessageHtmlLink":"Bump version and update changelog"}},{"before":null,"after":"12c94dc6f9ca5238ab5d6df21e3af66a8ba07901","ref":"refs/heads/release-v0.7.5","pushedAt":"2024-08-17T23:05:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Bump version and update changelog","shortMessageHtmlLink":"Bump version and update changelog"}},{"before":"5b347b7ebbd941658d1a90bafda982ba4fe31526","after":null,"ref":"refs/heads/186-update-deps","pushedAt":"2024-08-17T22:57:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"}},{"before":"013b4126adeefe69dc757e38e18cd17a79b5a0fc","after":"6efd48e2338692e9afa97e6d06858217869489fa","ref":"refs/heads/develop","pushedAt":"2024-08-17T22:57:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Merge pull request #188 from rzk-lang/186-update-deps\n\nSupport newer lsp","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2471693860\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rzk-lang/rzk/issues/188\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rzk-lang/rzk/pull/188/hovercard\" href=\"https://github.com/rzk-lang/rzk/pull/188\">#188</a> from rzk-lang/186-update-deps"}},{"before":"210730e71a5019747602fddd3c6c18431ca5559d","after":"5b347b7ebbd941658d1a90bafda982ba4fe31526","ref":"refs/heads/186-update-deps","pushedAt":"2024-08-17T22:32:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Support newer lsp","shortMessageHtmlLink":"Support newer lsp"}},{"before":null,"after":"210730e71a5019747602fddd3c6c18431ca5559d","ref":"refs/heads/186-update-deps","pushedAt":"2024-08-17T22:28:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Support newer lsp","shortMessageHtmlLink":"Support newer lsp"}},{"before":"c2877a99034820c238fe1a2a2f358a1f59a1c30f","after":"f43a768410baba588cd8db00f8c82a2e2ebaea34","ref":"refs/heads/gh-pages","pushedAt":"2024-08-17T22:24:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@15f2508ee0f87f45babe755ba1d75b1055175dd8 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/15f2508ee0f87f45babe755ba1d75b1055175dd8/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/15f2508ee0f87f45babe755ba1d75b1055175dd8\"><tt>15f2508</tt></a> 🚀"}},{"before":"0ac67366b64751cedea8198a023b14db9905cce8","after":"15f2508ee0f87f45babe755ba1d75b1055175dd8","ref":"refs/heads/main","pushedAt":"2024-08-17T22:01:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Improve error reporting for unused variables","shortMessageHtmlLink":"Improve error reporting for unused variables"}},{"before":null,"after":"318a22e8a29ba3fd3ba848da45fde4c4f6497638","ref":"refs/heads/max-whnf-depth","pushedAt":"2024-06-11T12:54:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Add a limit on the depth of WHNF computation","shortMessageHtmlLink":"Add a limit on the depth of WHNF computation"}},{"before":"7145928780d17ec66bf389bbb969ab7b2e5e64a7","after":"c2877a99034820c238fe1a2a2f358a1f59a1c30f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-14T09:24:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Set properties for blog in en/ with mike 2.0.0","shortMessageHtmlLink":"Set properties for blog in en/ with mike 2.0.0"}},{"before":"41b7a2b78ac65eedb21ef6923bce237acd4cb81a","after":"86173ff8414f455e24e4fc8bd3c861c331021a45","ref":"refs/heads/blog","pushedAt":"2024-05-14T09:23:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Push blog changes even when props are unchanged","shortMessageHtmlLink":"Push blog changes even when props are unchanged"}},{"before":"1f56816638b42c707d83a306f2450db0942f3cc8","after":"41b7a2b78ac65eedb21ef6923bce237acd4cb81a","ref":"refs/heads/blog","pushedAt":"2024-05-14T09:08:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Make formatter post not a literal Rzk file","shortMessageHtmlLink":"Make formatter post not a literal Rzk file"}},{"before":"bfa1599954d9d870c8912f49079302ff15f9ec35","after":"1f56816638b42c707d83a306f2450db0942f3cc8","ref":"refs/heads/blog","pushedAt":"2024-05-14T09:05:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Make formatter post not a literal Rzk file","shortMessageHtmlLink":"Make formatter post not a literal Rzk file"}},{"before":"b5077365c1326ce076cc3ed0d1fddb05388e5207","after":"bfa1599954d9d870c8912f49079302ff15f9ec35","ref":"refs/heads/blog","pushedAt":"2024-05-14T09:01:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fizruk","name":"Nikolai Kudasov","path":"/fizruk","primaryAvatarUrl":"https://github.com/avatars/u/686582?s=80&v=4"},"commit":{"message":"Update MkDocs workflow","shortMessageHtmlLink":"Update MkDocs workflow"}},{"before":"0362e21c31a6890f83894e18d4611dab3d3a0c92","after":"7145928780d17ec66bf389bbb969ab7b2e5e64a7","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T14:46:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@013b4126adeefe69dc757e38e18cd17a79b5a0fc 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc\"><tt>013b412</tt></a> 🚀"}},{"before":"6656e5f036423cb85179289e3fe0460c48f74c3b","after":"0362e21c31a6890f83894e18d4611dab3d3a0c92","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T14:10:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ rzk-lang/rzk@013b4126adeefe69dc757e38e18cd17a79b5a0fc 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc\"><tt>013b412</tt></a> 🚀"}},{"before":"3b6320be88e08e6ee650d0bf0d9d13f21b3296bf","after":"6656e5f036423cb85179289e3fe0460c48f74c3b","ref":"refs/heads/gh-pages","pushedAt":"2024-05-02T14:07:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deployed 013b412 to develop in ru/ with MkDocs 1.6.0 and mike 2.0.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc/hovercard\" href=\"https://github.com/rzk-lang/rzk/commit/013b4126adeefe69dc757e38e18cd17a79b5a0fc\"><tt>013b412</tt></a> to develop in ru/ with MkDocs 1.6.0 and mike 2.0.0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yN1QwODowNDoyOS4wMDAwMDBazwAAAASlFRCP","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wMlQxNDowNzoxNC4wMDAwMDBazwAAAAQ_3zu_"}},"title":"Activity · rzk-lang/rzk"}