{"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:1717850729.0","currentOid":""},"activityList":{"items":[{"before":"50b58997101f62896f095472b991075efafb98b2","after":"4fef798f1de9ee9a8fc38b3c1b4386627992c33f","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-09T16:10:02.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":"better volume for Interval","shortMessageHtmlLink":"better volume for Interval"}},{"before":"e594e319892bafe4c7bb7711f4c7ff39c535d43f","after":"50b58997101f62896f095472b991075efafb98b2","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-09T16:06:46.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":"better norm for Interval","shortMessageHtmlLink":"better norm for Interval"}},{"before":"4213dc13162acd8780a5b61220af1545ca639207","after":"e594e319892bafe4c7bb7711f4c7ff39c535d43f","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-09T15:59:34.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":"better low/high for Interval","shortMessageHtmlLink":"better low/high for Interval"}},{"before":"8d601b35f610281fad2ba28252d5de2e88bdf95f","after":"4213dc13162acd8780a5b61220af1545ca639207","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-09T15:49:09.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":"better extrema for Interval","shortMessageHtmlLink":"better extrema for Interval"}},{"before":"20f65b3073df9cb12e56fdd923eae1d960f2a881","after":"8d601b35f610281fad2ba28252d5de2e88bdf95f","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-09T15:15:14.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":"better complement for Interval","shortMessageHtmlLink":"better complement for Interval"}},{"before":"5aace35f152b942c4495739cd252857c661e3f29","after":"56b49b73c8de1c898d8be51a22dd794c2d29055d","ref":"refs/heads/gh-pages","pushedAt":"2024-06-09T11:41:31.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 3e8d190","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/3e8d190e38f471f0d0974913fb8dccfa64b95194/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/3e8d190e38f471f0d0974913fb8dccfa64b95194\"><tt>3e8d190</tt></a>"}},{"before":"d8338801141a66e457e0f66d3829e29e77d18d21","after":"5045dc8ba30d202348615b150ab6b181c114e1dc","ref":"refs/heads/schillic/is_interior_point","pushedAt":"2024-06-09T11:33:42.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":"review comments","shortMessageHtmlLink":"review comments"}},{"before":"4de090a95c30364ce2efd3a70cf8c94fce902c44","after":"5aace35f152b942c4495739cd252857c661e3f29","ref":"refs/heads/gh-pages","pushedAt":"2024-06-08T12:53:24.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 2f6d8c7","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/2f6d8c7dd3dee1495b0d908224a0944164636749/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/2f6d8c7dd3dee1495b0d908224a0944164636749\"><tt>2f6d8c7</tt></a>"}},{"before":"34a11b6fca188eb5dd89abf12bf7a084ea11bb51","after":"4de090a95c30364ce2efd3a70cf8c94fce902c44","ref":"refs/heads/gh-pages","pushedAt":"2024-06-08T12:45:45.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":"b5a6853bd0ff4a80a1bf18d8f756ea74963cc5ed","after":"34a11b6fca188eb5dd89abf12bf7a084ea11bb51","ref":"refs/heads/gh-pages","pushedAt":"2024-06-08T12:45: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":"7c189948b69905cc341bd02f80eaeb2605d34eda","after":null,"ref":"refs/heads/schillic/translate","pushedAt":"2024-06-08T12:45:29.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":"a3ca7e7f5cf7dbfae332e4dcb266bae70fc6f99e","after":"2f6d8c7dd3dee1495b0d908224a0944164636749","ref":"refs/heads/master","pushedAt":"2024-06-08T12:45:27.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 #3525 from JuliaReach/schillic/translate\n\nRevise `translate` and `translate!`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329310410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3525\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3525/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3525\">#3525</a> from JuliaReach/schillic/translate"}},{"before":"d0cd32d697d9163bd243c178e3e3b5ee35f7ec9e","after":"b5a6853bd0ff4a80a1bf18d8f756ea74963cc5ed","ref":"refs/heads/gh-pages","pushedAt":"2024-06-08T12:45:26.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":"e919571cc5930a55e67a2d0242f0d669ca7e8d28","after":null,"ref":"refs/heads/schillic/permute","pushedAt":"2024-06-08T12:45:20.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":"d45d43bb713000b68e3ae39071c7e59f2a2cfe6f","after":"a3ca7e7f5cf7dbfae332e4dcb266bae70fc6f99e","ref":"refs/heads/master","pushedAt":"2024-06-08T12:45:17.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 #3521 from JuliaReach/schillic/permute\n\nExport missing function `permute`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329265876\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3521\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3521/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3521\">#3521</a> from JuliaReach/schillic/permute"}},{"before":"9ce5d918056a63a1b16500417afeb2f906f0f49f","after":"d0cd32d697d9163bd243c178e3e3b5ee35f7ec9e","ref":"refs/heads/gh-pages","pushedAt":"2024-06-08T12:45:16.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":"bf959b5df792e83d5cf40ebbb29e186b5154b757","after":null,"ref":"refs/heads/schillic/helpers","pushedAt":"2024-06-08T12:45:12.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":"954b3d9cd26814b07e216c4501383b1b71f6410e","after":"d45d43bb713000b68e3ae39071c7e59f2a2cfe6f","ref":"refs/heads/master","pushedAt":"2024-06-08T12:45:10.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 #3524 from JuliaReach/schillic/helpers\n\nFix `Array` package source in tests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329266179\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3524\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3524/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3524\">#3524</a> from JuliaReach/schillic/helpers"}},{"before":"1ed3bd36da15e6d6100858af2047eb7af059d62c","after":null,"ref":"refs/heads/schillic/surface","pushedAt":"2024-06-08T12:45:03.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":"3366d661f71dbbacfc3e687d5feede38a0c8237c","after":"954b3d9cd26814b07e216c4501383b1b71f6410e","ref":"refs/heads/master","pushedAt":"2024-06-08T12:45: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 #3523 from JuliaReach/schillic/surface\n\nAdd space in error message","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329266005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/LazySets.jl/issues/3523\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/LazySets.jl/pull/3523/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/pull/3523\">#3523</a> from JuliaReach/schillic/surface"}},{"before":"537054dee9e155c787bf8f8209c1289d2b899a02","after":"20f65b3073df9cb12e56fdd923eae1d960f2a881","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-06T03:47:12.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":"better complement for Interval","shortMessageHtmlLink":"better complement for Interval"}},{"before":"1664c551add3f40d6e531afd28e337baae2e21ab","after":null,"ref":"refs/heads/schillic/interval_docs","pushedAt":"2024-06-06T03:28:35.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":"0b26f975b1a894e0458cda6b52e2536d314ea8e2","after":null,"ref":"refs/heads/schillic/interval_methods","pushedAt":"2024-06-06T03:28:34.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":null,"after":"537054dee9e155c787bf8f8209c1289d2b899a02","ref":"refs/heads/schillic/interval_more","pushedAt":"2024-06-06T03:28:06.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":"better convex_hull for Interval","shortMessageHtmlLink":"better convex_hull for Interval"}},{"before":null,"after":"1664c551add3f40d6e531afd28e337baae2e21ab","ref":"refs/heads/schillic/interval_docs","pushedAt":"2024-06-03T21:03:55.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":"sort/add docs for Interval","shortMessageHtmlLink":"sort/add docs for Interval"}},{"before":"5b25a336379d14eb5324984400d30efd2929bd3a","after":"9ce5d918056a63a1b16500417afeb2f906f0f49f","ref":"refs/heads/gh-pages","pushedAt":"2024-06-03T19:54:21.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 c6f1d41","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/c6f1d41da03210fc1a906857e8274952d8b36271/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/c6f1d41da03210fc1a906857e8274952d8b36271\"><tt>c6f1d41</tt></a>"}},{"before":"982feb0b560ebcf1324c8b71825844e20dabba9d","after":"89c7c103b623bdb3ff1bfd23598795c5cb63307c","ref":"refs/heads/schillic/runtests","pushedAt":"2024-06-03T19:50:27.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":"allow passing 'nothing' arg to tests","shortMessageHtmlLink":"allow passing 'nothing' arg to tests"}},{"before":"15e8cda2634a2c81757c61e0f0a26509d9b34e32","after":"5b25a336379d14eb5324984400d30efd2929bd3a","ref":"refs/heads/gh-pages","pushedAt":"2024-06-02T04:46:03.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 9efb653","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/9efb6530a33facbdb6cf31b6d8304b40a93df97f/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/9efb6530a33facbdb6cf31b6d8304b40a93df97f\"><tt>9efb653</tt></a>"}},{"before":"ffaeb9e84cd964d6df99fff783c1cb138a4e5a0d","after":"d8338801141a66e457e0f66d3829e29e77d18d21","ref":"refs/heads/schillic/is_interior_point","pushedAt":"2024-06-02T04:42:16.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":"support is_interior_point for mixed numeric types","shortMessageHtmlLink":"support is_interior_point for mixed numeric types"}},{"before":"09162cdc1d11f203baf9553da6729877d49ccd7d","after":"15e8cda2634a2c81757c61e0f0a26509d9b34e32","ref":"refs/heads/gh-pages","pushedAt":"2024-06-02T04:27:03.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 29ab897","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/LazySets.jl/commit/29ab8974bf088043eebe81ff91c544cd9a00ac54/hovercard\" href=\"https://github.com/JuliaReach/LazySets.jl/commit/29ab8974bf088043eebe81ff91c544cd9a00ac54\"><tt>29ab897</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYHC20gA","startCursor":null,"endCursor":null}},"title":"Activity · JuliaReach/LazySets.jl"}