{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6595653,"defaultBranch":"develop","name":"tlc4b","ownerLogin":"hhu-stups","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-11-08T11:59:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3490431?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1682692604.0","currentOid":""},"activityList":{"items":[{"before":"02b80cce380ec1ceba912bdb2dc2b3a817e987aa","after":"bf825890a143531cbea3d23935b93eb648f5fe8d","ref":"refs/heads/develop","pushedAt":"2023-04-28T14:36:44.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":"Bump version number to 1.1.1-SNAPSHOT","shortMessageHtmlLink":"Bump version number to 1.1.1-SNAPSHOT"}},{"before":"db198d687a28be0a76af846a74c571246c3c4a6e","after":"e257275cb8fc7fb22e64ee1846d2d1edba08f124","ref":"refs/heads/master","pushedAt":"2023-04-28T14:13:00.000Z","pushType":"push","commitsCount":13,"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 branch 'develop'","shortMessageHtmlLink":"Merge branch 'develop'"}},{"before":"6b56cfaaa46144b031e1fe28d16dcc70b10b40c4","after":"02b80cce380ec1ceba912bdb2dc2b3a817e987aa","ref":"refs/heads/develop","pushedAt":"2023-04-28T14:05:04.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 to release version 2.12.4 of parsers","shortMessageHtmlLink":"Update to release version 2.12.4 of parsers"}},{"before":"fd3128201ec592e185544bdd4419ecbd5d6bda6f","after":"6b56cfaaa46144b031e1fe28d16dcc70b10b40c4","ref":"refs/heads/develop","pushedAt":"2023-04-28T13:59: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":"Update tla2bAST to version 1.1.5","shortMessageHtmlLink":"Update tla2bAST to version 1.1.5"}},{"before":"e1bcc1fa605acd9197e40b9998392338eac35e2c","after":"fd3128201ec592e185544bdd4419ecbd5d6bda6f","ref":"refs/heads/develop","pushedAt":"2023-04-27T21:00:57.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":"Use Utils.isProBSpecialDefinitionName instead of hardcoding the names","shortMessageHtmlLink":"Use Utils.isProBSpecialDefinitionName instead of hardcoding the names"}},{"before":"38644a22b3e864ba44ca7c02dd4167bd3fd7f96f","after":"e1bcc1fa605acd9197e40b9998392338eac35e2c","ref":"refs/heads/develop","pushedAt":"2023-04-27T19:55:29.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":"Bump version number to 1.1.0-SNAPSHOT","shortMessageHtmlLink":"Bump version number to 1.1.0-SNAPSHOT"}},{"before":"bfc69eaef9470087582cf4b1cb0bb8530ac79ba2","after":"db198d687a28be0a76af846a74c571246c3c4a6e","ref":"refs/heads/master","pushedAt":"2023-04-27T19:13:47.000Z","pushType":"push","commitsCount":56,"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 branch 'develop'","shortMessageHtmlLink":"Merge branch 'develop'"}},{"before":"810e3f182b6d3bd74daabd4325b1dd3a6b21f533","after":"38644a22b3e864ba44ca7c02dd4167bd3fd7f96f","ref":"refs/heads/develop","pushedAt":"2023-04-27T18:26:24.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":"Remove commented out de.prob.core.kernel dependency","shortMessageHtmlLink":"Remove commented out de.prob.core.kernel dependency"}},{"before":"56f11f8711a2ca88eb305407d9df820c834feb5a","after":"810e3f182b6d3bd74daabd4325b1dd3a6b21f533","ref":"refs/heads/develop","pushedAt":"2023-04-27T18:17:53.000Z","pushType":"push","commitsCount":5,"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 javadoc failOnError setting that seems to be no longer needed","shortMessageHtmlLink":"Remove javadoc failOnError setting that seems to be no longer needed"}},{"before":"fb8f62a5cf1eb18d641638a69526b5060ea00adf","after":"56f11f8711a2ca88eb305407d9df820c834feb5a","ref":"refs/heads/develop","pushedAt":"2023-04-27T16:25:03.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":"Pass B2TLA-generated config file to TLA2B and adjust tests accordingly\n\nNeeded for compatibility with newer versions of tla2bAST.","shortMessageHtmlLink":"Pass B2TLA-generated config file to TLA2B and adjust tests accordingly"}},{"before":"9fd17de740be749a5edb03eb7c9506747f0d5497","after":"fb8f62a5cf1eb18d641638a69526b5060ea00adf","ref":"refs/heads/develop","pushedAt":"2023-04-27T15:54:31.000Z","pushType":"push","commitsCount":10,"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 unneeded print in regressionTests task","shortMessageHtmlLink":"Remove unneeded print in regressionTests task"}},{"before":"4519be3e26e7dc137beef894a47083d718caff56","after":"9fd17de740be749a5edb03eb7c9506747f0d5497","ref":"refs/heads/develop","pushedAt":"2023-04-27T08:21:13.000Z","pushType":"push","commitsCount":6,"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":"Extract only TLC subdirectory of examples to save disk space\n\nThe full public_examples are over 1 GB after extraction, whereas the TLC\nsubdirectory is just 4 MB.","shortMessageHtmlLink":"Extract only TLC subdirectory of examples to save disk space"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADIlzKhgA","startCursor":null,"endCursor":null}},"title":"Activity · hhu-stups/tlc4b"}