{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":720239817,"defaultBranch":"main","name":"codex-semantics-library.github.io","ownerLogin":"codex-semantics-library","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-17T22:35:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/151250002?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723515532.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"3ab69335fb9b579a2561e59ea49bc51f775cc10d","ref":"refs/heads/dependabot/bundler/just-the-docs-0.9.0","pushedAt":"2024-08-13T02:18:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump just-the-docs from 0.8.2 to 0.9.0\n\nBumps [just-the-docs](https://github.com/just-the-docs/just-the-docs) from 0.8.2 to 0.9.0.\n- [Release notes](https://github.com/just-the-docs/just-the-docs/releases)\n- [Changelog](https://github.com/just-the-docs/just-the-docs/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/just-the-docs/just-the-docs/compare/v0.8.2...v0.9.0)\n\n---\nupdated-dependencies:\n- dependency-name: just-the-docs\n  dependency-type: direct:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump just-the-docs from 0.8.2 to 0.9.0"}},{"before":"385b9b3ab0ad88e3acbfd99883f6aacf6278aace","after":null,"ref":"refs/heads/dependabot/bundler/github-pages-232","pushedAt":"2024-08-07T20:17:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"3bcf4a8666d5257e3fe9eb6413bab8efcb481e04","after":"634efed66b35c9dc32cdc744a382e23b9d389c22","ref":"refs/heads/main","pushedAt":"2024-08-07T20:17:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Merge pull request #9 from codex-semantics-library/dependabot/bundler/github-pages-232\n\nBump github-pages from 231 to 232","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2452078169\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codex-semantics-library/codex-semantics-library.github.io/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codex-semantics-library/codex-semantics-library.github.io/pull/9/hovercard\" href=\"https://github.com/codex-semantics-library/codex-semantics-library.github.io/pull/9\">#9</a> from codex-semantics-library/dependabot/bundler…"}},{"before":null,"after":"385b9b3ab0ad88e3acbfd99883f6aacf6278aace","ref":"refs/heads/dependabot/bundler/github-pages-232","pushedAt":"2024-08-07T02:23:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump github-pages from 231 to 232\n\nBumps [github-pages](https://github.com/github/pages-gem) from 231 to 232.\n- [Release notes](https://github.com/github/pages-gem/releases)\n- [Commits](https://github.com/github/pages-gem/compare/v231...v232)\n\n---\nupdated-dependencies:\n- dependency-name: github-pages\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump github-pages from 231 to 232"}},{"before":"74c7a57f0f7d5aee0b1cae8a5ede13db0e03505f","after":"3bcf4a8666d5257e3fe9eb6413bab8efcb481e04","ref":"refs/heads/main","pushedAt":"2024-07-29T07:31:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Fix URL","shortMessageHtmlLink":"Fix URL"}},{"before":"914ec9f7e53865b09999ab49a15c1031e017275e","after":"74c7a57f0f7d5aee0b1cae8a5ede13db0e03505f","ref":"refs/heads/main","pushedAt":"2024-07-24T07:59:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Update nutshell","shortMessageHtmlLink":"Update nutshell"}},{"before":"d5c5e080c95387baf34d933ca0ce3f404db5f9ea","after":"914ec9f7e53865b09999ab49a15c1031e017275e","ref":"refs/heads/main","pushedAt":"2024-07-24T07:38:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Video URL","shortMessageHtmlLink":"Video URL"}},{"before":"2820736d120d905c8125357a5b7c7f2637f633c2","after":"d5c5e080c95387baf34d933ca0ce3f404db5f9ea","ref":"refs/heads/main","pushedAt":"2024-07-22T16:37:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Update main doc","shortMessageHtmlLink":"Update main doc"}},{"before":"f437c5f4edd0b57482d9a1d312d6ce9a9d888cbb","after":"2820736d120d905c8125357a5b7c7f2637f633c2","ref":"refs/heads/main","pushedAt":"2024-07-19T22:21:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Upd","shortMessageHtmlLink":"Upd"}},{"before":"154f81ede38a1d54e682ee7bc38c8b7400d9c8ad","after":"f437c5f4edd0b57482d9a1d312d6ce9a9d888cbb","ref":"refs/heads/main","pushedAt":"2024-07-19T21:54:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Upd website main URL","shortMessageHtmlLink":"Upd website main URL"}},{"before":"d5d4ec55092ad80ffb9abffe555fa290ca97e0a1","after":"154f81ede38a1d54e682ee7bc38c8b7400d9c8ad","ref":"refs/heads/main","pushedAt":"2024-07-19T21:51:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Upd twitter card (uses jekyll-seo-tag)","shortMessageHtmlLink":"Upd twitter card (uses jekyll-seo-tag)"}},{"before":"a94f298b98f1082efd7289e8887f53fafe458377","after":"d5d4ec55092ad80ffb9abffe555fa290ca97e0a1","ref":"refs/heads/main","pushedAt":"2024-07-19T21:40:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Add image to twitter card","shortMessageHtmlLink":"Add image to twitter card"}},{"before":"4c5ff6c1bf3fafb75124290acd1341d9cce999be","after":"a94f298b98f1082efd7289e8887f53fafe458377","ref":"refs/heads/main","pushedAt":"2024-07-19T21:33:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Test more twitter card","shortMessageHtmlLink":"Test more twitter card"}},{"before":"3e0d15b51a10302a4e36a39110188229285dba4f","after":"4c5ff6c1bf3fafb75124290acd1341d9cce999be","ref":"refs/heads/main","pushedAt":"2024-07-19T21:16:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Add twitter card","shortMessageHtmlLink":"Add twitter card"}},{"before":"3eebe07401863cda4306517fba4576bf8c3ed0ab","after":"3e0d15b51a10302a4e36a39110188229285dba4f","ref":"refs/heads/main","pushedAt":"2024-06-30T18:32:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Factor code + correct artifact order","shortMessageHtmlLink":"Factor code + correct artifact order"}},{"before":"075f280db8236d946613825e8f2cfe0b284e4914","after":"3eebe07401863cda4306517fba4576bf8c3ed0ab","ref":"refs/heads/main","pushedAt":"2024-06-29T15:20:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Fix no nav on mobile","shortMessageHtmlLink":"Fix no nav on mobile"}},{"before":"2a6c667a50879aaa3557694f87bffa0a283a9957","after":"075f280db8236d946613825e8f2cfe0b284e4914","ref":"refs/heads/main","pushedAt":"2024-06-27T12:47:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"PLDI paper slides","shortMessageHtmlLink":"PLDI paper slides"}},{"before":"17fa8e2fd86b9b61d7b0a58520b23113302a8086","after":"2a6c667a50879aaa3557694f87bffa0a283a9957","ref":"refs/heads/main","pushedAt":"2024-06-27T07:42:45.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"More data","shortMessageHtmlLink":"More data"}},{"before":"c19c598fabe1c123426d4a56b8a1046e60524403","after":"17fa8e2fd86b9b61d7b0a58520b23113302a8086","ref":"refs/heads/main","pushedAt":"2024-06-21T18:20:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Add POPL paper","shortMessageHtmlLink":"Add POPL paper"}},{"before":"9594535d515bf0e91ae02b98d14c882735cdc003","after":"c19c598fabe1c123426d4a56b8a1046e60524403","ref":"refs/heads/main","pushedAt":"2024-06-21T18:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Better HTML output","shortMessageHtmlLink":"Better HTML output"}},{"before":"7654ce35675826ecb3fb808d870be2a6fd342523","after":"9594535d515bf0e91ae02b98d14c882735cdc003","ref":"refs/heads/main","pushedAt":"2024-06-21T10:01:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"UPd line number","shortMessageHtmlLink":"UPd line number"}},{"before":"3e3f5c15feed0ac68463bd8e986d992ccdb05e50","after":"7654ce35675826ecb3fb808d870be2a6fd342523","ref":"refs/heads/main","pushedAt":"2024-06-21T01:43:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Add landing page","shortMessageHtmlLink":"Add landing page"}},{"before":"222d405433cc9ce2699261b103f46432c370a4a8","after":"3e3f5c15feed0ac68463bd8e986d992ccdb05e50","ref":"refs/heads/main","pushedAt":"2024-06-20T09:07:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Update 2024-pldi-compiling-with-abstract-interpretation.md","shortMessageHtmlLink":"Update 2024-pldi-compiling-with-abstract-interpretation.md"}},{"before":"51f324fcbf91348f1741608bdb6648ae85f63e16","after":"222d405433cc9ce2699261b103f46432c370a4a8","ref":"refs/heads/main","pushedAt":"2024-06-10T08:31:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Update doc a bit","shortMessageHtmlLink":"Update doc a bit"}},{"before":"8a993b2d19eee07b2bf8dda810050715119201b8","after":"51f324fcbf91348f1741608bdb6648ae85f63e16","ref":"refs/heads/main","pushedAt":"2024-06-01T07:26:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Fix URL","shortMessageHtmlLink":"Fix URL"}},{"before":"7bc1ff412b0fdcb2022df11647168584c089c68f","after":"8a993b2d19eee07b2bf8dda810050715119201b8","ref":"refs/heads/main","pushedAt":"2024-06-01T07:00:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Update published PDF","shortMessageHtmlLink":"Update published PDF"}},{"before":"97e60621aeb1b631cc50b7f9caf41f921552dccb","after":null,"ref":"refs/heads/patricia-tree","pushedAt":"2024-06-01T06:58:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"}},{"before":"2b0efc0e90937bf0daeda45ecfb0052109edbb2d","after":"7bc1ff412b0fdcb2022df11647168584c089c68f","ref":"refs/heads/main","pushedAt":"2024-05-31T22:14:41.000Z","pushType":"pr_merge","commitsCount":48,"pusher":{"login":"mlemerre","name":"Matthieu Lemerre","path":"/mlemerre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2550894?s=80&v=4"},"commit":{"message":"Merge pull request #8 from codex-semantics-library/patricia-tree\n\nAdd patricia tree doc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2308589274\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codex-semantics-library/codex-semantics-library.github.io/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codex-semantics-library/codex-semantics-library.github.io/pull/8/hovercard\" href=\"https://github.com/codex-semantics-library/codex-semantics-library.github.io/pull/8\">#8</a> from codex-semantics-library/patricia-tree"}},{"before":"82311c5853dd896b39d1b16954417202cd1b668c","after":"97e60621aeb1b631cc50b7f9caf41f921552dccb","ref":"refs/heads/patricia-tree","pushedAt":"2024-05-31T12:37:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"v0.10.0 + link to examples","shortMessageHtmlLink":"v0.10.0 + link to examples"}},{"before":"079590cebb5e5723f10a323ddab0ca220b621b7b","after":"82311c5853dd896b39d1b16954417202cd1b668c","ref":"refs/heads/patricia-tree","pushedAt":"2024-05-27T07:37:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dlesbre","name":"Dorian Lesbre","path":"/dlesbre","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/53176929?s=80&v=4"},"commit":{"message":"Update mld","shortMessageHtmlLink":"Update mld"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEmLMhVQA","startCursor":null,"endCursor":null}},"title":"Activity · codex-semantics-library/codex-semantics-library.github.io"}