{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":105701832,"defaultBranch":"master","name":"LazySets.jl","ownerLogin":"JuliaReach","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-10-03T20:50:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33028082?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720330044.0","currentOid":""},"activityList":{"items":[{"before":"badeeb6aebdd139084820661ee3154a53196841c","after":"02fffab61e7e74541565b6227f6207605d04d3ad","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T05:31:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 1176f24","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/1176f240b7d611569707b5ca27e0690a8ec2799d/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/1176f240b7d611569707b5ca27e0690a8ec2799d\"><tt>1176f24</tt></a>"}},{"before":"a5885110a5bd1e5eda3948823917543c3b0cf9f1","after":"badeeb6aebdd139084820661ee3154a53196841c","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T05:27:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"delete history","shortMessageHtmlLink":"delete history"}},{"before":"f21759a83d7bcdd27ddeab74ca1ab8b178788fe7","after":null,"ref":"refs/heads/schillic/docs","pushedAt":"2024-07-07T05:27:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"aa5d82a9b6e8683be5bc6fea5b6a713d58c31d62","after":"1176f240b7d611569707b5ca27e0690a8ec2799d","ref":"refs/heads/master","pushedAt":"2024-07-07T05:27:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3554 from JuliaReach/schillic/docs\n\nFix documentation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393898753\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3554\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3554/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3554\">#3554</a> from JuliaReach/schillic/docs"}},{"before":"37fa6246f1991f0f10fda9d23cf74e2feaffd502","after":"a5885110a5bd1e5eda3948823917543c3b0cf9f1","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T05:24:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 18e4147","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/18e41475d3bc2d5badcb329029a17f77feaca599/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/18e41475d3bc2d5badcb329029a17f77feaca599\"><tt>18e4147</tt></a>"}},{"before":"38a6af984b05d9e0246af08535f3dcb8ef51dabb","after":"f21759a83d7bcdd27ddeab74ca1ab8b178788fe7","ref":"refs/heads/schillic/docs","pushedAt":"2024-07-07T05:20:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"fix documentation","shortMessageHtmlLink":"fix documentation"}},{"before":null,"after":"38a6af984b05d9e0246af08535f3dcb8ef51dabb","ref":"refs/heads/schillic/docs","pushedAt":"2024-07-07T05:08:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"fix documentation","shortMessageHtmlLink":"fix documentation"}},{"before":"49a6eaf353193908f22ea33549d39d7e1db937b7","after":"37fa6246f1991f0f10fda9d23cf74e2feaffd502","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:51:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 0e6115d","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/0e6115d994b12f82cd5fd8cc69e6b862d4b2f9e4/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/0e6115d994b12f82cd5fd8cc69e6b862d4b2f9e4\"><tt>0e6115d</tt></a>"}},{"before":"7cff7a67833f6cf94e30a81eacebf4edd2121983","after":"49a6eaf353193908f22ea33549d39d7e1db937b7","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:49:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"delete history","shortMessageHtmlLink":"delete history"}},{"before":"417953dd9f73522524688eba2a65054aba9a42f2","after":null,"ref":"refs/heads/schillic/Ballp","pushedAt":"2024-07-07T04:49:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"18838cdad099ce5e0fbd86ae22f6bd1bfb4138ad","after":"aa5d82a9b6e8683be5bc6fea5b6a713d58c31d62","ref":"refs/heads/master","pushedAt":"2024-07-07T04:49:21.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3548 from JuliaReach/schillic/Ballp\n\nOutsource `Ballp` to its own module","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2386630145\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3548\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3548/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3548\">#3548</a> from JuliaReach/schillic/Ballp"}},{"before":"dd502c6b682230cd14645daf757e8c176de33a4d","after":"417953dd9f73522524688eba2a65054aba9a42f2","ref":"refs/heads/schillic/Ballp","pushedAt":"2024-07-07T04:49:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"update docs page for Ballp","shortMessageHtmlLink":"update docs page for Ballp"}},{"before":"893ccf19563ff9ab564e4f6e5658ea2e94ceea39","after":"7cff7a67833f6cf94e30a81eacebf4edd2121983","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:48:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"delete history","shortMessageHtmlLink":"delete history"}},{"before":"6f1653191ab26c1530d17ff3ceca909fa9cf963a","after":"893ccf19563ff9ab564e4f6e5658ea2e94ceea39","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:48:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on c13aae2","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/c13aae29637572c2249f51a7f3ae5a0a2d1a3d22/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/c13aae29637572c2249f51a7f3ae5a0a2d1a3d22\"><tt>c13aae2</tt></a>"}},{"before":"496130ad95e98c9e124b2b828bc6564b9fa5d645","after":null,"ref":"refs/heads/schillic/Ball2","pushedAt":"2024-07-07T04:48:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"401999ba9c9ec530ae522e9630a8af9e7ac14cce","after":"18838cdad099ce5e0fbd86ae22f6bd1bfb4138ad","ref":"refs/heads/master","pushedAt":"2024-07-07T04:48:11.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3549 from JuliaReach/schillic/Ball2\n\nOutsource `Ball2` to its own module","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2386630171\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3549\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3549/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3549\">#3549</a> from JuliaReach/schillic/Ball2"}},{"before":"c67a55185e19d2ff89d6cf6d956b5c2b94b4255c","after":"496130ad95e98c9e124b2b828bc6564b9fa5d645","ref":"refs/heads/schillic/Ball2","pushedAt":"2024-07-07T04:48:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"move Distributions code to module","shortMessageHtmlLink":"move Distributions code to module"}},{"before":"8671bd7a213b61ded52d66e7eee801949ca32b47","after":"6f1653191ab26c1530d17ff3ceca909fa9cf963a","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:45:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"delete history","shortMessageHtmlLink":"delete history"}},{"before":"0574db4cc96aafc7b0bf9dff40e021378f76f876","after":"8671bd7a213b61ded52d66e7eee801949ca32b47","ref":"refs/heads/gh-pages","pushedAt":"2024-07-07T04:45:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"delete history","shortMessageHtmlLink":"delete history"}},{"before":"be985a5ab096f3a376610cb7612f301ee6b7edd3","after":null,"ref":"refs/heads/schillic/BallInf","pushedAt":"2024-07-07T04:45:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"9e8316cad45661a571b45471a5db0995592968ac","after":"401999ba9c9ec530ae522e9630a8af9e7ac14cce","ref":"refs/heads/master","pushedAt":"2024-07-07T04:45:23.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3550 from JuliaReach/schillic/BallInf\n\nOutsource `BallInf` to its own module","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2387171985\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3550\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3550/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3550\">#3550</a> from JuliaReach/schillic/BallInf"}},{"before":"f320e537a6023e36cb55eb009503e963a8cf11f4","after":null,"ref":"refs/heads/schillic/Ball1","pushedAt":"2024-07-07T04:45:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"c59a2d2956511619466c3838df4c8bc864181853","after":"9e8316cad45661a571b45471a5db0995592968ac","ref":"refs/heads/master","pushedAt":"2024-07-07T04:45:16.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3547 from JuliaReach/schillic/Ball1\n\nOutsource `Ball1` to its own module","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2386630141\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3547\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3547/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3547\">#3547</a> from JuliaReach/schillic/Ball1"}},{"before":null,"after":"47f718870ff9d7b71d7f68d378da862318c76d8b","ref":"refs/heads/schillic/box_approximation","pushedAt":"2024-07-07T04:41:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"disallow box_approximation for unbounded sets","shortMessageHtmlLink":"disallow box_approximation for unbounded sets"}},{"before":"5c6fe1338770d64dbafae71991d4be44d978c5e9","after":"0574db4cc96aafc7b0bf9dff40e021378f76f876","ref":"refs/heads/gh-pages","pushedAt":"2024-07-06T03:59:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on c59a2d2","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/c59a2d2956511619466c3838df4c8bc864181853/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/c59a2d2956511619466c3838df4c8bc864181853\"><tt>c59a2d2</tt></a>"}},{"before":"cb308031c50c05d40399b8c19f65890293020676","after":null,"ref":"refs/heads/auto-juliaformatter-pr","pushedAt":"2024-07-06T03:56:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"}},{"before":"a9ce6751838c398c45066ff0df0094d51909cbde","after":"c59a2d2956511619466c3838df4c8bc864181853","ref":"refs/heads/master","pushedAt":"2024-07-06T03:56:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"Merge pull request #3552 from JuliaReach/auto-juliaformatter-pr\n\nAutomatic JuliaFormatter.jl run","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393271955\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3552\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3552/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3552\">#3552</a> from JuliaReach/auto-juliaformatter-pr"}},{"before":null,"after":"cb308031c50c05d40399b8c19f65890293020676","ref":"refs/heads/auto-juliaformatter-pr","pushedAt":"2024-07-06T00:37:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Format .jl files","shortMessageHtmlLink":"Format .jl files"}},{"before":"93aec08da108a15f28d592f7c0ec7937fd90601b","after":"5c6fe1338770d64dbafae71991d4be44d978c5e9","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T05:48:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"build based on 131f18a","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/131f18a8b2a3393f4597123e3b3e9f26593c4e6a/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/131f18a8b2a3393f4597123e3b3e9f26593c4e6a\"><tt>131f18a</tt></a>"}},{"before":"98d43b7f44221f0ccd4d5718c7fd5e3482064d44","after":"bfbb218060bb23448ad573b7119e13de63849ac5","ref":"refs/heads/schillic/docs_interval","pushedAt":"2024-07-05T05:43:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"schillic","name":"Christian Schilling","path":"/schillic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9656686?s=80&v=4"},"commit":{"message":"include docs for basic API","shortMessageHtmlLink":"include docs for basic API"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEeLWspQA","startCursor":null,"endCursor":null}},"title":"Activity · JuliaReach/LazySets.jl"}