{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":682621420,"defaultBranch":"master","name":"NeuralNetworkReachability.jl","ownerLogin":"JuliaReach","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-24T15:04:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33028082?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725911880.0","currentOid":""},"activityList":{"items":[{"before":"a937744d64f2a372ef42603d239f83a12db715f3","after":"84ae311672577021c6f56f5410a72d97ea71e6dd","ref":"refs/heads/gh-pages","pushedAt":"2024-09-09T20:01:45.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 e4b76f6","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/e4b76f6c43e1102ca8d5faa9e5b1b96a9f930ffa/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/e4b76f6c43e1102ca8d5faa9e5b1b96a9f930ffa\"><tt>e4b76f6</tt></a>"}},{"before":"5034b3ad17f0a19e28331b7f573efc4a822481b3","after":"a937744d64f2a372ef42603d239f83a12db715f3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-09T19:58:11.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":"9e978b9480e88a90bc279a2cc25c35ad1129b480","after":null,"ref":"refs/heads/dependabot/github_actions/peter-evans/create-pull-request-7","pushedAt":"2024-09-09T19:58:00.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":"16c837b9a6787040437a2b58dc397b45c1042bcc","after":"e4b76f6c43e1102ca8d5faa9e5b1b96a9f930ffa","ref":"refs/heads/master","pushedAt":"2024-09-09T19:57:57.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 #35 from JuliaReach/dependabot/github_actions/peter-evans/create-pull-request-7\n\nBump peter-evans/create-pull-request from 6 to 7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2514752464\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/NeuralNetworkReachability.jl/pull/35/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/pull/35\">#35</a> from JuliaReach/dependabot/github_actions/pete…"}},{"before":"cadcd427cdd676cbed5d2fe44b9b71d6bbbf63fb","after":"5034b3ad17f0a19e28331b7f573efc4a822481b3","ref":"refs/heads/gh-pages","pushedAt":"2024-09-09T19:36:16.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 9513976","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/95139764dc8a06d61cab2201b1c1198d49be0ae8/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/95139764dc8a06d61cab2201b1c1198d49be0ae8\"><tt>9513976</tt></a>"}},{"before":null,"after":"9e978b9480e88a90bc279a2cc25c35ad1129b480","ref":"refs/heads/dependabot/github_actions/peter-evans/create-pull-request-7","pushedAt":"2024-09-09T19:32:25.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 peter-evans/create-pull-request from 6 to 7\n\nBumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 6 to 7.\n- [Release notes](https://github.com/peter-evans/create-pull-request/releases)\n- [Commits](https://github.com/peter-evans/create-pull-request/compare/v6...v7)\n\n---\nupdated-dependencies:\n- dependency-name: peter-evans/create-pull-request\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump peter-evans/create-pull-request from 6 to 7"}},{"before":"58570d2ba8e53d0c45aee995b84f33d54e9151b0","after":"cadcd427cdd676cbed5d2fe44b9b71d6bbbf63fb","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T11:44: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 16c837b","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/16c837b9a6787040437a2b58dc397b45c1042bcc/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/16c837b9a6787040437a2b58dc397b45c1042bcc\"><tt>16c837b</tt></a>"}},{"before":"4ca619044a38a73682a10d77f7b0083a81a75996","after":"16c837b9a6787040437a2b58dc397b45c1042bcc","ref":"refs/heads/master","pushedAt":"2024-07-05T11:43:35.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":"v0.1.4","shortMessageHtmlLink":"v0.1.4"}},{"before":"5a3654a5d1aa086c56857c8bb6188376d4b2f63c","after":"58570d2ba8e53d0c45aee995b84f33d54e9151b0","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T11:43: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 4ca6190","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/4ca619044a38a73682a10d77f7b0083a81a75996/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/4ca619044a38a73682a10d77f7b0083a81a75996\"><tt>4ca6190</tt></a>"}},{"before":"2b2de6f0c06e31efa7f2ee60b49866aeed5fab28","after":"5a3654a5d1aa086c56857c8bb6188376d4b2f63c","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T11:43:01.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":"ee97e644c893beb471207dac41520cce71bd10a0","after":null,"ref":"refs/heads/schillic/boxforward","pushedAt":"2024-07-05T11:42:51.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":"9fb6ec2c9da3dd8d4a1352df808cec93602e6482","after":"4ca619044a38a73682a10d77f7b0083a81a75996","ref":"refs/heads/master","pushedAt":"2024-07-05T11:42:48.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 #34 from JuliaReach/schillic/boxforward\n\nUnify `BoxForward` for monotonic activations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392422186\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/NeuralNetworkReachability.jl/pull/34/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/pull/34\">#34</a> from JuliaReach/schillic/boxforward"}},{"before":"5eb7df7f20a52862f0050b4545f8542833ffe6ae","after":"2b2de6f0c06e31efa7f2ee60b49866aeed5fab28","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T11:31:05.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 b7cebb6","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/b7cebb67f50f694c5fb3deaa56d3f529de9a5c02/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/b7cebb67f50f694c5fb3deaa56d3f529de9a5c02\"><tt>b7cebb6</tt></a>"}},{"before":null,"after":"ee97e644c893beb471207dac41520cce71bd10a0","ref":"refs/heads/schillic/boxforward","pushedAt":"2024-07-05T11:29:19.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":"unify BoxForward for monotonic activations","shortMessageHtmlLink":"unify BoxForward for monotonic activations"}},{"before":"7619a187a1fc53ea7563cdb9079f1fa383ed4bad","after":"5eb7df7f20a52862f0050b4545f8542833ffe6ae","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T10:54:09.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 9fb6ec2","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/9fb6ec2c9da3dd8d4a1352df808cec93602e6482/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/9fb6ec2c9da3dd8d4a1352df808cec93602e6482\"><tt>9fb6ec2</tt></a>"}},{"before":"ace887656e368b7573e5b2dbea8a0efcdbbd562f","after":"7619a187a1fc53ea7563cdb9079f1fa383ed4bad","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T10:53:35.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":"cba4f69619da18c274788327671d4a22021b1383","after":null,"ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T10:53: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":"2b8645ae4e788044f7ddf642fd86817eee4031fb","after":"9fb6ec2c9da3dd8d4a1352df808cec93602e6482","ref":"refs/heads/master","pushedAt":"2024-07-05T10:53:23.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 #33 from JuliaReach/schillic/test_short\n\nAdd option for shorter tests and use in PkgEval","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2392059979\" data-permission-text=\"Title is private\" data-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/JuliaReach/NeuralNetworkReachability.jl/pull/33/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/pull/33\">#33</a> from JuliaReach/schillic/test_short"}},{"before":"04ee43c38cee5f5ddf73fd32ed84cc0883b97497","after":"ace887656e368b7573e5b2dbea8a0efcdbbd562f","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T10:31: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":"build based on 0497067","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/04970672cd9a9db7f42785a747a773cd1a909f8f/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/04970672cd9a9db7f42785a747a773cd1a909f8f\"><tt>0497067</tt></a>"}},{"before":"3b7b6babf0c9753c84ec40f369fa4b577e7ca4a8","after":"cba4f69619da18c274788327671d4a22021b1383","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T10:30:17.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}},{"before":"c8c618f417ebc75204a78abace74800666854221","after":"04ee43c38cee5f5ddf73fd32ed84cc0883b97497","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T09:01: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":"build based on ab0843e","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/ab0843e27b01ec54711cea95162e484c51f08318/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/ab0843e27b01ec54711cea95162e484c51f08318\"><tt>ab0843e</tt></a>"}},{"before":"bd6448e59883e58fc6c10731fc9c4ad3def1f4af","after":"3b7b6babf0c9753c84ec40f369fa4b577e7ca4a8","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T09:00:45.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}},{"before":"b053893c376a5c307fbca1b0d225e5432fa24dea","after":"c8c618f417ebc75204a78abace74800666854221","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T08:46: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":"build based on e1eddc2","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/e1eddc2aa4558c412756ea0e8871bffbb697ab75/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/e1eddc2aa4558c412756ea0e8871bffbb697ab75\"><tt>e1eddc2</tt></a>"}},{"before":"4d99786ebd9a896cf023ef27bfc1a573e9343207","after":"bd6448e59883e58fc6c10731fc9c4ad3def1f4af","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T08:45:47.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}},{"before":"5416dbd50abb9416d0c167abf9ac3c8fd97f5ff1","after":"b053893c376a5c307fbca1b0d225e5432fa24dea","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T08:20: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":"build based on b2d1fd9","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/b2d1fd9b9e674c21e3b2486efd442481adc30681/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/b2d1fd9b9e674c21e3b2486efd442481adc30681\"><tt>b2d1fd9</tt></a>"}},{"before":"652f6d28d9862aef7ad948887a7731375df62c5c","after":"4d99786ebd9a896cf023ef27bfc1a573e9343207","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T08:19:18.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}},{"before":"9eb701f86f3717c248fea5dbb1fa200590cce53c","after":"5416dbd50abb9416d0c167abf9ac3c8fd97f5ff1","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T08:02:44.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 c66b484","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/c66b484de67c59e4c617c9216f3be7af9b6eb648/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/c66b484de67c59e4c617c9216f3be7af9b6eb648\"><tt>c66b484</tt></a>"}},{"before":"8fad3a09a61001b0b3263f6accf4fa842c4b72ca","after":"652f6d28d9862aef7ad948887a7731375df62c5c","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T08:01:58.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}},{"before":"2804f63d0243acdd4645ec7b7c6e94116890c6c0","after":"9eb701f86f3717c248fea5dbb1fa200590cce53c","ref":"refs/heads/gh-pages","pushedAt":"2024-07-05T07:55:15.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 02be6bc","shortMessageHtmlLink":"build based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/02be6bc52e27ba12bdb2eddfbfe5dd32fc2d8b02/hovercard\" href=\"https://github.com/JuliaReach/NeuralNetworkReachability.jl/commit/02be6bc52e27ba12bdb2eddfbfe5dd32fc2d8b02\"><tt>02be6bc</tt></a>"}},{"before":null,"after":"8fad3a09a61001b0b3263f6accf4fa842c4b72ca","ref":"refs/heads/schillic/test_short","pushedAt":"2024-07-05T07:52:05.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":"add option for shorter tests, used in PkgEval","shortMessageHtmlLink":"add option for shorter tests, used in PkgEval"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEsU7l1wA","startCursor":null,"endCursor":null}},"title":"Activity · JuliaReach/NeuralNetworkReachability.jl"}