{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":205167897,"defaultBranch":"develop","name":"prob2_ui","ownerLogin":"hhu-stups","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-08-29T13:15:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3490431?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722867534.0","currentOid":""},"activityList":{"items":[{"before":"0be9147495a6b5f4e55d0cde013cf401a0ac0abc","after":"d5194a729a4368e65f404e4d6dc63117c916e6ef","ref":"refs/heads/develop","pushedAt":"2024-09-21T05:58:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"show number of transitions also in localised format","shortMessageHtmlLink":"show number of transitions also in localised format"}},{"before":"bbde9862e842d25075ca8925969d05abb17f3617","after":"0be9147495a6b5f4e55d0cde013cf401a0ac0abc","ref":"refs/heads/develop","pushedAt":"2024-09-20T17:14:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Pull id fields up into AbstractCheckableItem","shortMessageHtmlLink":"Pull id fields up into AbstractCheckableItem"}},{"before":"5b7ebb1b4ebcd90cd2399f18f8dc9f2d13de1280","after":"bbde9862e842d25075ca8925969d05abb17f3617","ref":"refs/heads/develop","pushedAt":"2024-09-20T15:03:28.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Remove ITraceTask again\n\nNo longer needed now that all trace-producing tasks extend\nAbstractCheckableItem.","shortMessageHtmlLink":"Remove ITraceTask again"}},{"before":"b9aeb619e45b899c2d74f74d585ccd495082ce5a","after":"5b7ebb1b4ebcd90cd2399f18f8dc9f2d13de1280","ref":"refs/heads/develop","pushedAt":"2024-09-20T14:16:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"adapt console labels for TLA mode\n\nTLA expressions are currently not evaluated in the module context!","shortMessageHtmlLink":"adapt console labels for TLA mode"}},{"before":"4489b2006febb530808a2accb289f57c499a0c17","after":"b9aeb619e45b899c2d74f74d585ccd495082ce5a","ref":"refs/heads/develop","pushedAt":"2024-09-20T09:39:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"add TLA maplet highlighting","shortMessageHtmlLink":"add TLA maplet highlighting"}},{"before":"ba08cdd0d91201ddad490c46ac42278a024ea991","after":"4489b2006febb530808a2accb289f57c499a0c17","ref":"refs/heads/develop","pushedAt":"2024-09-20T08:24:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"prevent (technically impossible) crashes while editing a validation task after the current machine has changed\n\ncould happen with the mac menu bar?","shortMessageHtmlLink":"prevent (technically impossible) crashes while editing a validation t…"}},{"before":"6383ae276bfa7e5689a633abe05d1b7ac6f4c9ef","after":"ba08cdd0d91201ddad490c46ac42278a024ea991","ref":"refs/heads/develop","pushedAt":"2024-09-19T18:13:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"move creation of the PrologOutput window to the javafx application thread, this might fix some of the spurious startup crashes","shortMessageHtmlLink":"move creation of the PrologOutput window to the javafx application th…"}},{"before":"69bc19dccbf1dbe1700e66f2017965b5e5b694c9","after":"6383ae276bfa7e5689a633abe05d1b7ac6f4c9ef","ref":"refs/heads/develop","pushedAt":"2024-09-19T16:10:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"use toolbar for editor view","shortMessageHtmlLink":"use toolbar for editor view"}},{"before":"8396899e8fbf4bb4e27c4e6a653472ba33d39db7","after":"69bc19dccbf1dbe1700e66f2017965b5e5b694c9","ref":"refs/heads/develop","pushedAt":"2024-09-19T16:00:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"use toolbar control for OperationView button bar - this decreases the minimum size for that pane and adds an overflow dropdown","shortMessageHtmlLink":"use toolbar control for OperationView button bar - this decreases the…"}},{"before":"2aa5e9ccfe6d3e96a6ed90c3e4b7c34bdc09b012","after":"8396899e8fbf4bb4e27c4e6a653472ba33d39db7","ref":"refs/heads/develop","pushedAt":"2024-09-19T15:53:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Revert \"try to maybe fix spurious layouting error\"\n\nThis reverts commit c12ea98b15fd5b0c91b65436b655d28396b98133.","shortMessageHtmlLink":"Revert \"try to maybe fix spurious layouting error\""}},{"before":"e4f9a27b31d291f1b386e1ccf32eae8ac7fc645a","after":"2aa5e9ccfe6d3e96a6ed90c3e4b7c34bdc09b012","ref":"refs/heads/develop","pushedAt":"2024-09-19T15:45:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Show \"in progress\" status for unfinished model checking steps","shortMessageHtmlLink":"Show \"in progress\" status for unfinished model checking steps"}},{"before":"c12ea98b15fd5b0c91b65436b655d28396b98133","after":"e4f9a27b31d291f1b386e1ccf32eae8ac7fc645a","ref":"refs/heads/develop","pushedAt":"2024-09-19T14:44:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"be more aggressive when forgetting the history for hhu-stups/prob-issues#363","shortMessageHtmlLink":"be more aggressive when forgetting the history for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498957829\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hhu-stups/prob-issues/issues/363\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hhu-stups/prob-issues/issues/363/hovercard\" href=\"https://github.com/hhu-stups/prob-issues/issues/363\">hhu-stups/prob-iss…</a>"}},{"before":"5a6186b9c07760a79f642dcf07224c745332bc21","after":"c12ea98b15fd5b0c91b65436b655d28396b98133","ref":"refs/heads/develop","pushedAt":"2024-09-19T14:37:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"try to maybe fix spurious layouting error","shortMessageHtmlLink":"try to maybe fix spurious layouting error"}},{"before":"e4a19e5a1d884cc104292feb4e3c22b41210aa12","after":"5a6186b9c07760a79f642dcf07224c745332bc21","ref":"refs/heads/develop","pushedAt":"2024-09-19T12:49:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"only log on plantuml call io exceptions","shortMessageHtmlLink":"only log on plantuml call io exceptions"}},{"before":"671331a04cf7fb051067f9e9e3a1af209cf160b3","after":"e4a19e5a1d884cc104292feb4e3c22b41210aa12","ref":"refs/heads/develop","pushedAt":"2024-09-19T09:25:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"improve layout of code completions with type info\n\nnow always uses the full width with priority for the longer of the two texts (replacement or type info)","shortMessageHtmlLink":"improve layout of code completions with type info"}},{"before":"f468ef38e3e68b695db093a38db9c6c5cb8952e9","after":"671331a04cf7fb051067f9e9e3a1af209cf160b3","ref":"refs/heads/develop","pushedAt":"2024-09-18T13:58:00.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Fix syntax stage load error text","shortMessageHtmlLink":"Fix syntax stage load error text"}},{"before":"d5a6b65f8cd97145e37c44984e8da2db280f5416","after":"f468ef38e3e68b695db093a38db9c6c5cb8952e9","ref":"refs/heads/develop","pushedAt":"2024-09-18T13:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Update Gradle wrapper to version 8.10.1","shortMessageHtmlLink":"Update Gradle wrapper to version 8.10.1"}},{"before":"6876ce1f9c6f2c90307f634b51912415e3d6fe91","after":"d5a6b65f8cd97145e37c44984e8da2db280f5416","ref":"refs/heads/develop","pushedAt":"2024-09-16T11:15:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"set initial file name of HTML export to current machine name","shortMessageHtmlLink":"set initial file name of HTML export to current machine name"}},{"before":"ed7b4ed3d40246d7eca40a68ce1fc6a95692907c","after":"6876ce1f9c6f2c90307f634b51912415e3d6fe91","ref":"refs/heads/develop","pushedAt":"2024-09-13T08:30:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"make VisB HTML export customisable","shortMessageHtmlLink":"make VisB HTML export customisable"}},{"before":"fc75a08880e1d44b2d4ab492f8b73bf213e89787","after":"ed7b4ed3d40246d7eca40a68ce1fc6a95692907c","ref":"refs/heads/develop","pushedAt":"2024-09-06T15:00:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Rename model checking \"Description\" column to \"Configuration\"","shortMessageHtmlLink":"Rename model checking \"Description\" column to \"Configuration\""}},{"before":"b55784a985215d5766b9fc3ce6e9452b95637406","after":"fc75a08880e1d44b2d4ab492f8b73bf213e89787","ref":"refs/heads/develop","pushedAt":"2024-09-05T13:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"fix exception caused by empty model checking steps","shortMessageHtmlLink":"fix exception caused by empty model checking steps"}},{"before":"3f933d074a913f06cb28a9f052a0df4d8a5edb7e","after":"b55784a985215d5766b9fc3ce6e9452b95637406","ref":"refs/heads/develop","pushedAt":"2024-09-05T12:54:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"try to fix hhu-stups/prob-issues#363","shortMessageHtmlLink":"try to <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #363.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2498957829\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hhu-stups/prob-issues/issues/363\" data-hovercard-type=\"issue\" data-hovercard-url=\"/hhu-stups/prob-issues/issues/363/hovercard\" href=\"https://github.com/hhu-stups/prob-issues/issues/363\">hhu-stups/prob-issues#363</a>"}},{"before":"3bc2117403bfbcd388163c4a02e32d8be88906dd","after":"3f933d074a913f06cb28a9f052a0df4d8a5edb7e","ref":"refs/heads/develop","pushedAt":"2024-09-04T18:13:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"handle VisB text updates of foreignObject as HTML","shortMessageHtmlLink":"handle VisB text updates of foreignObject as HTML"}},{"before":"ed26ff240ed5a5d4bc13039d33ba10924a6c5cad","after":"3bc2117403bfbcd388163c4a02e32d8be88906dd","ref":"refs/heads/develop","pushedAt":"2024-09-02T14:39:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Fix default simulation sometimes being saved into project files","shortMessageHtmlLink":"Fix default simulation sometimes being saved into project files"}},{"before":"2f6bed44033d1817389fca0f38388b15d1135d4f","after":"ed26ff240ed5a5d4bc13039d33ba10924a6c5cad","ref":"refs/heads/develop","pushedAt":"2024-09-02T13:18:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Fix StatsView possibly not updating after animator was busy","shortMessageHtmlLink":"Fix StatsView possibly not updating after animator was busy"}},{"before":"1b5aa17c224bca9c7353d4205eadada22af928e4","after":"2f6bed44033d1817389fca0f38388b15d1135d4f","ref":"refs/heads/develop","pushedAt":"2024-08-30T18:20:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Move simulation item checking onto CliTaskExecutor","shortMessageHtmlLink":"Move simulation item checking onto CliTaskExecutor"}},{"before":"bb826f0d8bf9c3cefa6703755e39cbe2a1ee6818","after":"1b5aa17c224bca9c7353d4205eadada22af928e4","ref":"refs/heads/develop","pushedAt":"2024-08-30T17:52:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Move simulation result creation into ISimulationPropertyChecker","shortMessageHtmlLink":"Move simulation result creation into ISimulationPropertyChecker"}},{"before":"4b665517fd98a114e9f2748343107c3139e953fd","after":"bb826f0d8bf9c3cefa6703755e39cbe2a1ee6818","ref":"refs/heads/develop","pushedAt":"2024-08-29T14:35:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Replace a few unnecessary Injector uses in SimulatorStage","shortMessageHtmlLink":"Replace a few unnecessary Injector uses in SimulatorStage"}},{"before":"0fe04b6c49caa99849d13773f09be3a670d5a953","after":"4b665517fd98a114e9f2748343107c3139e953fd","ref":"refs/heads/develop","pushedAt":"2024-08-29T12:44:52.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Set SimulationChoosingStage apply listener via FXML","shortMessageHtmlLink":"Set SimulationChoosingStage apply listener via FXML"}},{"before":"c5cd3df4aa95b5d6bd67a5fff418e9a144ebe7de","after":"0fe04b6c49caa99849d13773f09be3a670d5a953","ref":"refs/heads/develop","pushedAt":"2024-08-28T11:12:21.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"hhu-stups-mirror","name":"HHU STUPS GitHub Bot","path":"/hhu-stups-mirror","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43784308?s=80&v=4"},"commit":{"message":"Disallow changing ValidationObligation.status externally","shortMessageHtmlLink":"Disallow changing ValidationObligation.status externally"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwNTo1ODowNy4wMDAwMDBazwAAAAS8j5HS","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwNTo1ODowNy4wMDAwMDBazwAAAAS8j5HS","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxMToxMjoyMS4wMDAwMDBazwAAAASmZi1_"}},"title":"Activity · hhu-stups/prob2_ui"}