{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":40957488,"defaultBranch":"master","name":"tlatools","ownerLogin":"hhu-stups","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-18T07:30:58.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3490431?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721398700.0","currentOid":""},"activityList":{"items":[{"before":"255093837238060cf510d05b6f4c53ffc04a74c6","after":"e74d8836549c19fbd0133fee203de08a6328d370","ref":"refs/heads/master","pushedAt":"2024-07-30T12:33:05.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 NPE in OutputCollector.addStateToTrace\n\nThis is a breaking change - callers now need to check for isEmpty()\ninstead of null.","shortMessageHtmlLink":"Fix NPE in OutputCollector.addStateToTrace"}},{"before":"873d22849525d2d68c9ab849759d436649cebc8d","after":"255093837238060cf510d05b6f4c53ffc04a74c6","ref":"refs/heads/master","pushedAt":"2024-07-30T12:14:36.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":"Increase next version from 1.0.3 to 1.1.0 because of TLA Tools update","shortMessageHtmlLink":"Increase next version from 1.0.3 to 1.1.0 because of TLA Tools update"}},{"before":"52b3b6989fdbadc82d45ef830a1c05eb73298f56","after":"873d22849525d2d68c9ab849759d436649cebc8d","ref":"refs/heads/master","pushedAt":"2024-07-24T09:33:06.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":"Replace Hashtable with HashMap in our code","shortMessageHtmlLink":"Replace Hashtable with HashMap in our code"}},{"before":null,"after":"637821acf427a253d5cd460c98365324ea6082c5","ref":"refs/heads/towards_1.8.0","pushedAt":"2024-07-19T14:18:20.000Z","pushType":"branch_creation","commitsCount":0,"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 Gson and lsp4j dependencies as required after last merge","shortMessageHtmlLink":"Add Gson and lsp4j dependencies as required after last merge"}},{"before":"d19e8b67f33c355f76a6526b1ea57b1f9ada9049","after":"52b3b6989fdbadc82d45ef830a1c05eb73298f56","ref":"refs/heads/master","pushedAt":"2024-07-19T14:11: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":"Fix tlatools directory name in .gitlab-ci.yml","shortMessageHtmlLink":"Fix tlatools directory name in .gitlab-ci.yml"}},{"before":"83bd4e144050ad3597217c4444cac5def291dffb","after":"d19e8b67f33c355f76a6526b1ea57b1f9ada9049","ref":"refs/heads/master","pushedAt":"2024-07-19T14:04:17.000Z","pushType":"push","commitsCount":445,"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":"Collect violated assumptions in DFIDModelChecker as well","shortMessageHtmlLink":"Collect violated assumptions in DFIDModelChecker as well"}},{"before":"235e49e67dcb391869cded3325d577f52920ee65","after":"83bd4e144050ad3597217c4444cac5def291dffb","ref":"refs/heads/master","pushedAt":"2024-07-18T14:03:35.000Z","pushType":"push","commitsCount":755,"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 StateMonitor to avoid dependency on com.sun.tools.attach","shortMessageHtmlLink":"Remove StateMonitor to avoid dependency on com.sun.tools.attach"}},{"before":"bc63c23c2d36297a57df91b4a0d3e1c985c10e5c","after":"235e49e67dcb391869cded3325d577f52920ee65","ref":"refs/heads/master","pushedAt":"2024-07-18T12:42:36.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":"Remove testImplementation declaration from build.gradle\n\nWe don't actually run any tests via Gradle.","shortMessageHtmlLink":"Remove testImplementation declaration from build.gradle"}},{"before":"7eb5987de305a5ec2fcaf924c8dca3632d74afe6","after":"bc63c23c2d36297a57df91b4a0d3e1c985c10e5c","ref":"refs/heads/master","pushedAt":"2024-07-18T12:26:03.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":"Replace uses of deprecated compile/testCompile configurations","shortMessageHtmlLink":"Replace uses of deprecated compile/testCompile configurations"}},{"before":"e3faa46c82f43a29c9af6ee1ab1106a4484ccaa4","after":"7eb5987de305a5ec2fcaf924c8dca3632d74afe6","ref":"refs/heads/master","pushedAt":"2024-07-18T12:20: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":"Remove --stacktrace argument for now to reduce huge CI logs","shortMessageHtmlLink":"Remove --stacktrace argument for now to reduce huge CI logs"}},{"before":"ad6d17f0e9373db334cc6801fa42504b6b4045ca","after":"e3faa46c82f43a29c9af6ee1ab1106a4484ccaa4","ref":"refs/heads/master","pushedAt":"2024-07-18T12:12:03.000Z","pushType":"push","commitsCount":242,"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":"Merge tag 'v1.5.7'\n\n1.5.7 release","shortMessageHtmlLink":"Merge tag 'v1.5.7'"}},{"before":"50234e8365992d53b864aed628c706783121317c","after":"ad6d17f0e9373db334cc6801fa42504b6b4045ca","ref":"refs/heads/master","pushedAt":"2024-07-18T12:06:05.000Z","pushType":"push","commitsCount":1077,"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":"Merge tag 'v1.5.6'\n\n1.5.6 release","shortMessageHtmlLink":"Merge tag 'v1.5.6'"}},{"before":"fa46d577a24a4bc1b5dd43df604d5da614a2a0a6","after":"50234e8365992d53b864aed628c706783121317c","ref":"refs/heads/master","pushedAt":"2024-07-18T11:40:31.000Z","pushType":"push","commitsCount":8,"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":"Merge tag 'v1.5.1'\n\n1.5.1 release","shortMessageHtmlLink":"Merge tag 'v1.5.1'"}},{"before":"482afbadda8f5fea5414c92a88218b6e29113e42","after":"fa46d577a24a4bc1b5dd43df604d5da614a2a0a6","ref":"refs/heads/master","pushedAt":"2024-07-18T11:06:36.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":"Remove unused custom .gitignore entry","shortMessageHtmlLink":"Remove unused custom .gitignore entry"}},{"before":"611282c0c5711736ee9875c60d119a8e5d4fa36a","after":"482afbadda8f5fea5414c92a88218b6e29113e42","ref":"refs/heads/master","pushedAt":"2024-07-18T10:53:44.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":"Update Gradle wrapper to version 6.9.4","shortMessageHtmlLink":"Update Gradle wrapper to version 6.9.4"}},{"before":"fe9e7366bc7c495eaf74783a6a2c34e37606bc01","after":"611282c0c5711736ee9875c60d119a8e5d4fa36a","ref":"refs/heads/master","pushedAt":"2024-07-18T10:46:54.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":"Suppress Javadoc errors\n\nThe TLA Tools source code uses unescaped HTML symbols in Javadoc text,\nwhich is considered an error.","shortMessageHtmlLink":"Suppress Javadoc errors"}},{"before":"5c996ad037dc44e9a559a124243121f9e72d0408","after":"fe9e7366bc7c495eaf74783a6a2c34e37606bc01","ref":"refs/heads/master","pushedAt":"2024-07-18T10:40:52.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":"Update publishing secrets","shortMessageHtmlLink":"Update publishing secrets"}},{"before":"62cb935f96fc035266846931478a6b177eb2537c","after":"f6b655222086a5798fcc3051b50bfef4ae1aaca6","ref":"refs/heads/updateTLC","pushedAt":"2024-07-17T11:35:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cobizobi","name":null,"path":"/cobizobi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49492914?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":null,"after":"62cb935f96fc035266846931478a6b177eb2537c","ref":"refs/heads/updateTLC","pushedAt":"2024-07-17T08:43:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cobizobi","name":null,"path":"/cobizobi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49492914?s=80&v=4"},"commit":{"message":"readd STUPS modifications\n\nand fix some compile errors","shortMessageHtmlLink":"readd STUPS modifications"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQxMjozMzowNS4wMDAwMDBazwAAAASM9k8-","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQxMjozMzowNS4wMDAwMDBazwAAAASM9k8-","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xN1QwODo0Mzo1NC4wMDAwMDBazwAAAASBmq01"}},"title":"Activity · hhu-stups/tlatools"}