{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":173191061,"defaultBranch":"master","name":"shop3","ownerLogin":"shop-planner","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-02-28T21:34:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48106257?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714146578.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"804b5a990941a79cf718f4e2c03a3a5dfb88cacc","ref":"refs/heads/k-repairs","pushedAt":"2024-04-26T15:49:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ukuter","name":null,"path":"/ukuter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2972926?s=80&v=4"},"commit":{"message":"Remove debugging code.","shortMessageHtmlLink":"Remove debugging code."}},{"before":"27618d04a18571c315af239f4fd3cbf10f7b050e","after":"804b5a990941a79cf718f4e2c03a3a5dfb88cacc","ref":"refs/heads/hddl-ess-only","pushedAt":"2024-02-29T23:43:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Remove debugging code.","shortMessageHtmlLink":"Remove debugging code."}},{"before":"a74c9222d2cb5ea4f5c94d021c81030054be4a99","after":"27618d04a18571c315af239f4fd3cbf10f7b050e","ref":"refs/heads/hddl-ess-only","pushedAt":"2024-02-29T15:14:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Export PLAN-RETURN class name.\n\nThis makes it available for use in type declarations.","shortMessageHtmlLink":"Export PLAN-RETURN class name."}},{"before":"ff294bd6849a46c58cc9ffb493c7b9740d1e71da","after":"a74c9222d2cb5ea4f5c94d021c81030054be4a99","ref":"refs/heads/hddl-ess-only","pushedAt":"2024-02-29T15:13:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Pull out helper functions. Only partially fixed.","shortMessageHtmlLink":"Pull out helper functions. Only partially fixed."}},{"before":"665abaffdf9cf2c1c39917cf85902d882f762c4a","after":"b87c717586fcf8d43afe2b1affe9b1703363bd2f","ref":"refs/heads/ko56-patch-1","pushedAt":"2024-02-21T17:44:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ko56","name":null,"path":"/ko56","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16137352?s=80&v=4"},"commit":{"message":"Add files via upload\n\n1. Behavior of master:\r\n\r\na) Global tracing of :methods, :tasks, :operators, :axioms works fine.\r\nb) (shop-trace (:method <method name>)) also works, but needs what in\r\nthe manual is denoted [nm] or [n1], [n2] etc. This could be made clearer\r\nin the manual.\r\n   (shop-trace (:operator <op name>)) results in an error.\r\n   (shop-trace (:task <task name>)) works, causes a break.\r\n   (shop-trace (:axiom <axiom name>)) doesn't do anything.\r\n\r\n2. Behavior of this branch/pull:\r\n  (shop-trace (:operator <op name>)) is now accepted, but no tracing happens.","shortMessageHtmlLink":"Add files via upload"}},{"before":null,"after":"665abaffdf9cf2c1c39917cf85902d882f762c4a","ref":"refs/heads/ko56-patch-1","pushedAt":"2024-02-21T17:44:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ko56","name":null,"path":"/ko56","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16137352?s=80&v=4"},"commit":{"message":"Fix loading of fiveam-asdf defsystem. (#161)\n\n* Fix loading of fiveam-asdf defsystem.\r\n\r\nPreviously, we were forced to load that system by hand, when reading\r\nthe ASDF system definition. By pulling some code out, and by using\r\nstrings for class designators in shop3.asd's tester systems, we no\r\nlonger have to do this.","shortMessageHtmlLink":"Fix loading of fiveam-asdf defsystem. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2133038534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/shop-planner/shop3/issues/161\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/shop-planner/shop3/pull/161/hovercard\" href=\"https://github.com/shop-planner/shop3/pull/161\">#161</a>)"}},{"before":null,"after":"665abaffdf9cf2c1c39917cf85902d882f762c4a","ref":"refs/heads/io/debugging","pushedAt":"2024-02-21T15:16:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ko56","name":null,"path":"/ko56","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16137352?s=80&v=4"},"commit":{"message":"Fix loading of fiveam-asdf defsystem. (#161)\n\n* Fix loading of fiveam-asdf defsystem.\r\n\r\nPreviously, we were forced to load that system by hand, when reading\r\nthe ASDF system definition. By pulling some code out, and by using\r\nstrings for class designators in shop3.asd's tester systems, we no\r\nlonger have to do this.","shortMessageHtmlLink":"Fix loading of fiveam-asdf defsystem. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2133038534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/shop-planner/shop3/issues/161\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/shop-planner/shop3/pull/161/hovercard\" href=\"https://github.com/shop-planner/shop3/pull/161\">#161</a>)"}},{"before":"a056fb1d0af920d4efbe0d0321d16f5d2a473983","after":null,"ref":"refs/heads/fix-asdf-depends-on","pushedAt":"2024-02-16T18:19:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"}},{"before":null,"after":"ecdc587e1eeacd5a2949183990c604a124f80908","ref":"refs/heads/test-fixes","pushedAt":"2024-02-15T16:41:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fixes to the test-running script.\n\n1. Make it possible to selectively run the test scripts.\n\n2. Allocate extra memory for Allegro.\n\n3. Expand the stack with `ulimit` (notably for Allegro).","shortMessageHtmlLink":"Fixes to the test-running script."}},{"before":"96ab960480e56c573bdbe77fe9d326d0fb1c1b9a","after":"665abaffdf9cf2c1c39917cf85902d882f762c4a","ref":"refs/heads/master","pushedAt":"2024-02-14T16:08:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix loading of fiveam-asdf defsystem. (#161)\n\n* Fix loading of fiveam-asdf defsystem.\r\n\r\nPreviously, we were forced to load that system by hand, when reading\r\nthe ASDF system definition. By pulling some code out, and by using\r\nstrings for class designators in shop3.asd's tester systems, we no\r\nlonger have to do this.","shortMessageHtmlLink":"Fix loading of fiveam-asdf defsystem. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2133038534\" data-permission-text=\"Title is private\" data-url=\"https://github.com/shop-planner/shop3/issues/161\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/shop-planner/shop3/pull/161/hovercard\" href=\"https://github.com/shop-planner/shop3/pull/161\">#161</a>)"}},{"before":"8d68a59ddcf5b9e6ba45573ee39093892008e012","after":"a056fb1d0af920d4efbe0d0321d16f5d2a473983","ref":"refs/heads/fix-asdf-depends-on","pushedAt":"2024-02-14T00:33:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Drop obsolete file.","shortMessageHtmlLink":"Drop obsolete file."}},{"before":"8bc49374ce5ac5ea782b139d5d1c02cfb1f4a03c","after":"8d68a59ddcf5b9e6ba45573ee39093892008e012","ref":"refs/heads/fix-asdf-depends-on","pushedAt":"2024-02-13T22:47:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Special shop-silent-test infrastructure not needed.","shortMessageHtmlLink":"Special shop-silent-test infrastructure not needed."}},{"before":null,"after":"8bc49374ce5ac5ea782b139d5d1c02cfb1f4a03c","ref":"refs/heads/fix-asdf-depends-on","pushedAt":"2024-02-13T19:58:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix loading of fiveam-asdf defsystem.\n\nPreviously, we were forced to load that system by hand, when reading\nthe ASDF system definition. By pulling some code out, and by using\nstrings for class designators in shop3.asd's tester systems, we no\nlonger have to do this.","shortMessageHtmlLink":"Fix loading of fiveam-asdf defsystem."}},{"before":"8bc49374ce5ac5ea782b139d5d1c02cfb1f4a03c","after":null,"ref":"refs/heads/fix-","pushedAt":"2024-02-13T19:57:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"}},{"before":null,"after":"8bc49374ce5ac5ea782b139d5d1c02cfb1f4a03c","ref":"refs/heads/fix-","pushedAt":"2024-02-13T19:53:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix loading of fiveam-asdf defsystem.\n\nPreviously, we were forced to load that system by hand, when reading\nthe ASDF system definition. By pulling some code out, and by using\nstrings for class designators in shop3.asd's tester systems, we no\nlonger have to do this.","shortMessageHtmlLink":"Fix loading of fiveam-asdf defsystem."}},{"before":"061a3f8002a0b96d0c72aa2e5a1440a1912e2fbf","after":"ab3fc0380207f33a10563b5646aca41eb0c34137","ref":"refs/heads/fix-for-allegromodern","pushedAt":"2024-02-12T19:37:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Another case issue.","shortMessageHtmlLink":"Another case issue."}},{"before":"4453df4d7671edc878b5032f31e85c1fb5897a77","after":"061a3f8002a0b96d0c72aa2e5a1440a1912e2fbf","ref":"refs/heads/fix-for-allegromodern","pushedAt":"2024-02-12T19:34:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix case issue for Allegro modern lisp.\n\nThere were some uses of \"NIL\" (all caps) which broke compatibility\nwith Allegro's modern, case-sensitive Lisp, because it wasn't the\ndefault case (\"nil\").","shortMessageHtmlLink":"Fix case issue for Allegro modern lisp."}},{"before":null,"after":"4453df4d7671edc878b5032f31e85c1fb5897a77","ref":"refs/heads/fix-for-allegromodern","pushedAt":"2024-02-12T19:20:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix case issue for Allegro modern lisp.\n\nThere were some uses of \"NIL\" (all caps) which broke compatibility\nwith Allegro's modern, case-sensitive Lisp, because it wasn't the\ndefault case (\"nil\").","shortMessageHtmlLink":"Fix case issue for Allegro modern lisp."}},{"before":"6c4e2551df387a40a64a7754b5bee0f2c57171a0","after":null,"ref":"refs/heads/seek-satisfiers-vacuous-branch","pushedAt":"2024-01-18T23:26:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"}},{"before":"2f88320a81aa1ed06743bdac65adeafb9ff47248","after":"96ab960480e56c573bdbe77fe9d326d0fb1c1b9a","ref":"refs/heads/master","pushedAt":"2024-01-18T23:26:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Adjust test count.","shortMessageHtmlLink":"Adjust test count."}},{"before":"f7e4c97cf15164dc8e5d0a7dbd5723549c959277","after":"2f88320a81aa1ed06743bdac65adeafb9ff47248","ref":"refs/heads/master","pushedAt":"2024-01-16T23:30:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Per Kostas, trim the installation of the apps.\n\nThere's one \"master\" app with different names, so just install it once\nand add links.","shortMessageHtmlLink":"Per Kostas, trim the installation of the apps."}},{"before":"afb296d8ef161b73d05905727beac808bf97b0fe","after":"6c4e2551df387a40a64a7754b5bee0f2c57171a0","ref":"refs/heads/seek-satisfiers-vacuous-branch","pushedAt":"2024-01-10T19:50:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Adjust test count.","shortMessageHtmlLink":"Adjust test count."}},{"before":"27efefdea2f86558c8f6f63bafa2bbb6705b052d","after":"ff294bd6849a46c58cc9ffb493c7b9740d1e71da","ref":"refs/heads/hddl-ess-only","pushedAt":"2024-01-05T22:41:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Bump PDDL-TOOLS version.","shortMessageHtmlLink":"Bump PDDL-TOOLS version."}},{"before":null,"after":"afb296d8ef161b73d05905727beac808bf97b0fe","ref":"refs/heads/seek-satisfiers-vacuous-branch","pushedAt":"2024-01-04T15:25:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix expansion of SEEK-SATISFIERS.\n\nThe macro was checking for the value of the DOMAIN keyword argument at\nrun-time instead of at macroexpansion time, which caused\nstyle-warnings from unreachable code from an IF whose condition was T.","shortMessageHtmlLink":"Fix expansion of SEEK-SATISFIERS."}},{"before":"2ed89d30d3035abb7441192b392f05c2fee425fc","after":"27efefdea2f86558c8f6f63bafa2bbb6705b052d","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-12-29T20:35:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Update SHOP version of \"random-state\"","shortMessageHtmlLink":"Update SHOP version of \"random-state\""}},{"before":"18b22fe9dc0ee89d2ab2cfc8c401ee53807c71fe","after":"2ed89d30d3035abb7441192b392f05c2fee425fc","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-11-29T16:25:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Update with fix for Allegro CL.","shortMessageHtmlLink":"Update with fix for Allegro CL."}},{"before":"99250817ec534c283b996ba6fa2c0400d8faf650","after":"18b22fe9dc0ee89d2ab2cfc8c401ee53807c71fe","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-11-29T00:08:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Fix the test count.","shortMessageHtmlLink":"Fix the test count."}},{"before":"87000ff24bb5161628f74c208f38537e2dbe98cd","after":"99250817ec534c283b996ba6fa2c0400d8faf650","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-11-28T22:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Incorporate PDDL-tools bugfix.","shortMessageHtmlLink":"Incorporate PDDL-tools bugfix."}},{"before":"a5c5f3065da2761d4d01eea5074ee4112c029b97","after":"87000ff24bb5161628f74c208f38537e2dbe98cd","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-11-28T22:43:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Bump version to 3.12","shortMessageHtmlLink":"Bump version to 3.12"}},{"before":"d96585db40d015a930d40812fb519beef77ea16c","after":"a5c5f3065da2761d4d01eea5074ee4112c029b97","ref":"refs/heads/hddl-ess-only","pushedAt":"2023-11-24T16:36:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"rpgoldman","name":null,"path":"/rpgoldman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3274?s=80&v=4"},"commit":{"message":"Bump version of PDDL-tools for PANDA support.","shortMessageHtmlLink":"Bump version of PDDL-tools for PANDA support."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEO1DZjwA","startCursor":null,"endCursor":null}},"title":"Activity · shop-planner/shop3"}