{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":83424645,"defaultBranch":"develop","name":"AOT","ownerLogin":"ekpyron","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-02-28T11:27:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1347491?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714084653.0","currentOid":""},"activityList":{"items":[{"before":"b0f9bd9f42872dc3e0736fdf8b4a4bdadea234f3","after":"f28f825a8536b18a67103f31cbbfa07d18c78a46","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T20:48:27.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":"Deploying to gh-pages from @ ekpyron/AOT@125a08bc31d07607d7bcf3f3f267caa251617c37 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/125a08bc31d07607d7bcf3f3f267caa251617c37/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/125a08bc31d07607d7bcf3f3f267caa251617c37\"><tt>125a08b</tt></a> 🚀"}},{"before":"f87f1fdc3a120f84d25a1ad493bae1f1fb3b05bc","after":"125a08bc31d07607d7bcf3f3f267caa251617c37","ref":"refs/heads/develop","pushedAt":"2024-05-09T20:44:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"More redirects.","shortMessageHtmlLink":"More redirects."}},{"before":"c48333d18bff3eb5d46f6a6fd718e5465e024f5c","after":"b0f9bd9f42872dc3e0736fdf8b4a4bdadea234f3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T20:43:06.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":"Deploying to gh-pages from @ ekpyron/AOT@f87f1fdc3a120f84d25a1ad493bae1f1fb3b05bc 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/f87f1fdc3a120f84d25a1ad493bae1f1fb3b05bc/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/f87f1fdc3a120f84d25a1ad493bae1f1fb3b05bc\"><tt>f87f1fd</tt></a> 🚀"}},{"before":"c747fb61800362901234b1501f5c343a493c9e21","after":"f87f1fdc3a120f84d25a1ad493bae1f1fb3b05bc","ref":"refs/heads/develop","pushedAt":"2024-05-09T20:38:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"More redirects.","shortMessageHtmlLink":"More redirects."}},{"before":"db13955c84bdfec354261486583a58fb4a0ef7cd","after":"c48333d18bff3eb5d46f6a6fd718e5465e024f5c","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T20:34: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":"Deploying to gh-pages from @ ekpyron/AOT@c747fb61800362901234b1501f5c343a493c9e21 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/c747fb61800362901234b1501f5c343a493c9e21/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/c747fb61800362901234b1501f5c343a493c9e21\"><tt>c747fb6</tt></a> 🚀"}},{"before":"21cdd0a4622e47680b5088b259eadf6c2361077e","after":"c747fb61800362901234b1501f5c343a493c9e21","ref":"refs/heads/develop","pushedAt":"2024-05-09T20:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Include all theories and redirect to AOT from ROOT index.html.","shortMessageHtmlLink":"Include all theories and redirect to AOT from ROOT index.html."}},{"before":"7cf69bfbff025646b2b9e2310ed12bb531d7da62","after":"db13955c84bdfec354261486583a58fb4a0ef7cd","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T18:57:52.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":"Deploying to gh-pages from @ ekpyron/AOT@21cdd0a4622e47680b5088b259eadf6c2361077e 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/21cdd0a4622e47680b5088b259eadf6c2361077e/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/21cdd0a4622e47680b5088b259eadf6c2361077e\"><tt>21cdd0a</tt></a> 🚀"}},{"before":"3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4","after":"21cdd0a4622e47680b5088b259eadf6c2361077e","ref":"refs/heads/develop","pushedAt":"2024-05-09T18:53:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Pull in Possibilities theory into export info to get theorem numberings in the html rendering.","shortMessageHtmlLink":"Pull in Possibilities theory into export info to get theorem numberin…"}},{"before":"280e62a39e2ef2058d1925e1f1b48a9c74288efe","after":"7cf69bfbff025646b2b9e2310ed12bb531d7da62","ref":"refs/heads/gh-pages","pushedAt":"2024-05-09T18:29:16.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":"Deploying to gh-pages from @ ekpyron/AOT@3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4\"><tt>3ef65e5</tt></a> 🚀"}},{"before":"670a0a18e41c128da54af13d0141e80c99d6dec1","after":"3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4","ref":"refs/heads/develop","pushedAt":"2024-05-09T18:25:17.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Limit line length.","shortMessageHtmlLink":"Limit line length."}},{"before":"4af38cd76be92e0b2c7f00813a9ae16b2644f500","after":"3ef65e5660ca8648d2f7f75d1bc0e8dd6017ecc4","ref":"refs/heads/possibilities","pushedAt":"2024-05-09T18:24:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Limit line length.","shortMessageHtmlLink":"Limit line length."}},{"before":"1566b3031024454f650aaa617a4651f86dc0f187","after":"4af38cd76be92e0b2c7f00813a9ae16b2644f500","ref":"refs/heads/possibilities","pushedAt":"2024-05-09T17:49:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Fixes for auto-metarulification for axioms.","shortMessageHtmlLink":"Fixes for auto-metarulification for axioms."}},{"before":"d355720e8f9a640e131a7085f7b0192112ad0410","after":"1566b3031024454f650aaa617a4651f86dc0f187","ref":"refs/heads/possibilities","pushedAt":"2024-05-09T17:26:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Finished chapter on Possibilities.","shortMessageHtmlLink":"Finished chapter on Possibilities."}},{"before":"5a0df129634abedb1c57fa427ab5e129b132afcb","after":"d355720e8f9a640e131a7085f7b0192112ad0410","ref":"refs/heads/possibilities","pushedAt":"2024-04-26T00:30:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Temporary state for AOT_Rulify and AOT_Possibilities","shortMessageHtmlLink":"Temporary state for AOT_Rulify and AOT_Possibilities"}},{"before":"3069fcf3c130113f1f7742351407f09205dfcc6f","after":"5a0df129634abedb1c57fa427ab5e129b132afcb","ref":"refs/heads/possibilities","pushedAt":"2024-04-26T00:24:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Temporary state for AOT_Rulify and AOT_Possibilities","shortMessageHtmlLink":"Temporary state for AOT_Rulify and AOT_Possibilities"}},{"before":"c12d76dbe6eda6179beef09b171340ecf62e9cbb","after":"3069fcf3c130113f1f7742351407f09205dfcc6f","ref":"refs/heads/possibilities","pushedAt":"2024-04-26T00:20:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Temporary state for AOT_Rulify and AOT_Possibilities","shortMessageHtmlLink":"Temporary state for AOT_Rulify and AOT_Possibilities"}},{"before":null,"after":"c12d76dbe6eda6179beef09b171340ecf62e9cbb","ref":"refs/heads/possibilities","pushedAt":"2024-04-25T22:37:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Temporary state for AOT_Rulify and AOT_Possibilities","shortMessageHtmlLink":"Temporary state for AOT_Rulify and AOT_Possibilities"}},{"before":"8d5ff78e31823d87ca073d6451c561a04728727d","after":"280e62a39e2ef2058d1925e1f1b48a9c74288efe","ref":"refs/heads/gh-pages","pushedAt":"2023-12-21T16:25:51.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":"Deploying to gh-pages from @ ekpyron/AOT@670a0a18e41c128da54af13d0141e80c99d6dec1 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/670a0a18e41c128da54af13d0141e80c99d6dec1/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/670a0a18e41c128da54af13d0141e80c99d6dec1\"><tt>670a0a1</tt></a> 🚀"}},{"before":"81c1d54f9b89d6d201f786ae3c8d8b85e6f73749","after":"670a0a18e41c128da54af13d0141e80c99d6dec1","ref":"refs/heads/develop","pushedAt":"2023-12-21T16:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Updates in possible world theory.","shortMessageHtmlLink":"Updates in possible world theory."}},{"before":"237f874205ce66c20c79e2a1f62e4cb50da8efdc","after":"8d5ff78e31823d87ca073d6451c561a04728727d","ref":"refs/heads/gh-pages","pushedAt":"2023-10-17T22:23:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Update CNAME","shortMessageHtmlLink":"Update CNAME"}},{"before":"db369e9e5561c0979efbbd3f28ecdc203af7b7c8","after":"237f874205ce66c20c79e2a1f62e4cb50da8efdc","ref":"refs/heads/gh-pages","pushedAt":"2023-10-17T22:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Update CNAME","shortMessageHtmlLink":"Update CNAME"}},{"before":"5c70beb239683e10b6f944ac62b11cbe3993ac15","after":"db369e9e5561c0979efbbd3f28ecdc203af7b7c8","ref":"refs/heads/gh-pages","pushedAt":"2023-10-05T13:33:42.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":"Deploying to gh-pages from @ ekpyron/AOT@81c1d54f9b89d6d201f786ae3c8d8b85e6f73749 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ekpyron/AOT/commit/81c1d54f9b89d6d201f786ae3c8d8b85e6f73749/hovercard\" href=\"https://github.com/ekpyron/AOT/commit/81c1d54f9b89d6d201f786ae3c8d8b85e6f73749\"><tt>81c1d54</tt></a> 🚀"}},{"before":"1ae4247014e2342b1455a378601acb7014a01224","after":"81c1d54f9b89d6d201f786ae3c8d8b85e6f73749","ref":"refs/heads/develop","pushedAt":"2023-10-05T13:28:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Update build to Isabelle 2023","shortMessageHtmlLink":"Update build to Isabelle 2023"}},{"before":"3f66d0dc05933b01a70936ee63228dac8e3a118a","after":"1ae4247014e2342b1455a378601acb7014a01224","ref":"refs/heads/develop","pushedAt":"2023-10-05T12:50:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ekpyron","name":"Daniel","path":"/ekpyron","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1347491?s=80&v=4"},"commit":{"message":"Minor updates to possible world theory.","shortMessageHtmlLink":"Minor updates to possible world theory."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wOVQyMDo0ODoyNy4wMDAwMDBazwAAAARF_uod","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0wNVQxMjo1MDo1OC4wMDAwMDBazwAAAAOQKRSn"}},"title":"Activity · ekpyron/AOT"}