{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":78608190,"defaultBranch":"master","name":"haskell-backend","ownerLogin":"runtimeverification","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-11T06:07:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3732719?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726589367.0","currentOid":""},"activityList":{"items":[{"before":"ff6cdd45f5693c59e19cec226e17f573e94f6488","after":"fe0929881d7aaa7683ac0a64ca61b4ac28d7c753","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-20T20:40:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.148","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.148"}},{"before":"b9e1e57b73cd61713dce8bc8554de595881cbe44","after":"ff6cdd45f5693c59e19cec226e17f573e94f6488","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-20T01:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.147","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.147"}},{"before":"555cd24d365593cc07a0c0e8880589908f1edd1e","after":"b9e1e57b73cd61713dce8bc8554de595881cbe44","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-19T17:44:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.146","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.146"}},{"before":"98f4252787f147cf5d77c93e6f737141eb07486c","after":"555cd24d365593cc07a0c0e8880589908f1edd1e","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-18T19:21:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.145","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.145"}},{"before":"4c83efa4b699a2e96b976b51d828bfe046f95eae","after":"98f4252787f147cf5d77c93e6f737141eb07486c","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-17T18:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.144","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.144"}},{"before":null,"after":"4c83efa4b699a2e96b976b51d828bfe046f95eae","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-17T16:09:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.143","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.143"}},{"before":"bf65d15b0d022ff6a973af9e09808a78e0a4b92e","after":"9f8fc75f926ce81e17935f4146049c92aee0b11d","ref":"refs/heads/petar/experimental","pushedAt":"2024-09-17T10:53:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"PetarMax","name":"Petar Maksimović","path":"/PetarMax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8540490?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/4579-syntactic-simplifications' into petar/experimental","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/4579-syntactic-simplifications' …"}},{"before":"a2e96cd7e60c49b28c65555d410a388606aaea56","after":"be336ecdc584ae438d1367b1548ba0789f0d8559","ref":"refs/heads/4043-filter-smt-lemmas-for-predicate-checks","pushedAt":"2024-09-17T07:28:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PetarMax","name":"Petar Maksimović","path":"/PetarMax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8540490?s=80&v=4"},"commit":{"message":"Merge branch 'master' into 4043-filter-smt-lemmas-for-predicate-checks","shortMessageHtmlLink":"Merge branch 'master' into 4043-filter-smt-lemmas-for-predicate-checks"}},{"before":"ed919aa17fe7a322c795e91c7b78d87c470df5f2","after":"0bff84aa9a1672ee48f2ef7c742af9f7b2ba8d5d","ref":"refs/heads/release","pushedAt":"2024-09-16T16:14:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 0.1.82","shortMessageHtmlLink":"Set Version: 0.1.82"}},{"before":"6c9d4af3f30ff94ac4543719c3318493d9b15b14","after":null,"ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-16T16:02:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"}},{"before":"960328a51624310a7cffa5728d889b2891f3db27","after":"e73bf79d4f4b5757e81024eb7cd2a370b0ac8534","ref":"refs/heads/master","pushedAt":"2024-09-16T16:02:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Update dependency: deps/k_release (#4047)\n\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"Update dependency: deps/k_release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2515015022\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/haskell-backend/issues/4047\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/haskell-backend/pull/4047/hovercard\" href=\"https://github.com/runtimeverification/haskell-backend/pull/4047\">#4047</a>)"}},{"before":"2962dbcae12f92012af30c5235bdcd7f0a6a16c2","after":"fcf50be7b8d717b249323d31f2e10f5c9fb3975e","ref":"refs/heads/4579-syntactic-simplifications","pushedAt":"2024-09-15T06:18:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PetarMax","name":"Petar Maksimović","path":"/PetarMax","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8540490?s=80&v=4"},"commit":{"message":"Merge branch 'master' into 4579-syntactic-simplifications","shortMessageHtmlLink":"Merge branch 'master' into 4579-syntactic-simplifications"}},{"before":"7bf64d5b99e064e7ae3630014852d68fcf095e1d","after":"d456e1a0f1bce3faa05e023f6f314bab1c1b4ef7","ref":"refs/heads/sam/kore-not-markSimplified-hotfix","pushedAt":"2024-09-13T13:54:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"goodlyrottenapple","name":"Samuel Balco","path":"/goodlyrottenapple","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10553895?s=80&v=4"},"commit":{"message":"change golden files","shortMessageHtmlLink":"change golden files"}},{"before":null,"after":"7bf64d5b99e064e7ae3630014852d68fcf095e1d","ref":"refs/heads/sam/kore-not-markSimplified-hotfix","pushedAt":"2024-09-13T12:16:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"goodlyrottenapple","name":"Samuel Balco","path":"/goodlyrottenapple","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10553895?s=80&v=4"},"commit":{"message":"Only markSimplified when we are sure the predicate is in fact simplified","shortMessageHtmlLink":"Only markSimplified when we are sure the predicate is in fact simplified"}},{"before":"5f0bcba6a54394c91d0c9556841b2a1cd4fb22d8","after":"6c9d4af3f30ff94ac4543719c3318493d9b15b14","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-12T20:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.142","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.142"}},{"before":"f63d409494cd78ed670129f7d87c9e3a3426bbd9","after":"5f0bcba6a54394c91d0c9556841b2a1cd4fb22d8","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-11T20:13:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.141","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.141"}},{"before":"445416b3ec8d14917f399de33ff6ffee37513024","after":"f63d409494cd78ed670129f7d87c9e3a3426bbd9","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-11T10:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.140","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.140"}},{"before":null,"after":"a2e96cd7e60c49b28c65555d410a388606aaea56","ref":"refs/heads/4043-filter-smt-lemmas-for-predicate-checks","pushedAt":"2024-09-11T04:31:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jberthold","name":"Jost Berthold","path":"/jberthold","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/669076?s=80&v=4"},"commit":{"message":"Filter SMT lemmas by what functions they relate to, for predicate checks and get-model","shortMessageHtmlLink":"Filter SMT lemmas by what functions they relate to, for predicate che…"}},{"before":null,"after":"445416b3ec8d14917f399de33ff6ffee37513024","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-09T22:11:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.139","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.139"}},{"before":"1ba4aaac64973d1bdb5da3b047130a133cf0f11b","after":"ed919aa17fe7a322c795e91c7b78d87c470df5f2","ref":"refs/heads/release","pushedAt":"2024-09-09T20:38:27.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Set Version: 0.1.81","shortMessageHtmlLink":"Set Version: 0.1.81"}},{"before":"ddb580e37ce4f722f07560ae4bcd0fc4553031c3","after":null,"ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-09T20:26:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"}},{"before":"f13826fab1d96f054cc1fa4cbf160a6ca4ddf23d","after":"960328a51624310a7cffa5728d889b2891f3db27","ref":"refs/heads/master","pushedAt":"2024-09-09T20:26:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"Update dependency: deps/k_release (#4046)\n\nCo-authored-by: devops <devops@runtimeverification.com>","shortMessageHtmlLink":"Update dependency: deps/k_release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2509463259\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/haskell-backend/issues/4046\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/haskell-backend/pull/4046/hovercard\" href=\"https://github.com/runtimeverification/haskell-backend/pull/4046\">#4046</a>)"}},{"before":"524b8ba297c1aaad27412a0749ad4e8069b00e4c","after":"ddb580e37ce4f722f07560ae4bcd0fc4553031c3","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-09T19:08:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.138","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.138"}},{"before":"fc5776ef6694b6f3067786b73dd5bfcc77ce3921","after":"2962dbcae12f92012af30c5235bdcd7f0a6a16c2","ref":"refs/heads/4579-syntactic-simplifications","pushedAt":"2024-09-09T10:56:21.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"goodlyrottenapple","name":"Samuel Balco","path":"/goodlyrottenapple","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10553895?s=80&v=4"},"commit":{"message":"Merge branch 'master' into 4579-syntactic-simplifications","shortMessageHtmlLink":"Merge branch 'master' into 4579-syntactic-simplifications"}},{"before":"30106fbaedbeddf9dd41a4429eab39b4e8a73f87","after":"fc5776ef6694b6f3067786b73dd5bfcc77ce3921","ref":"refs/heads/4579-syntactic-simplifications","pushedAt":"2024-09-09T09:36:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"goodlyrottenapple","name":"Samuel Balco","path":"/goodlyrottenapple","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10553895?s=80&v=4"},"commit":{"message":"update integration test","shortMessageHtmlLink":"update integration test"}},{"before":"88847ea5ae8ac3396fa259696f8a837339d2ff5b","after":"524b8ba297c1aaad27412a0749ad4e8069b00e4c","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-09T03:14:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.137","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.137"}},{"before":"b2d83c4d8b86a2546f64e172964abb86d5e1403b","after":"88847ea5ae8ac3396fa259696f8a837339d2ff5b","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-06T18:22:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.136","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.136"}},{"before":"119f523f505cfd0956da124346c873ba20f3ec65","after":"b2d83c4d8b86a2546f64e172964abb86d5e1403b","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-06T16:14:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.135","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.135"}},{"before":"239e0622673c8712f01f46bc72c8b64aff9c219d","after":"119f523f505cfd0956da124346c873ba20f3ec65","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-06T15:26:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.134","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.134"}},{"before":"ee6a2ed7eef2ca0e0fc3a512ff511a29cabfe493","after":"239e0622673c8712f01f46bc72c8b64aff9c219d","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-09-06T09:26:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rv-jenkins","name":null,"path":"/rv-jenkins","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=80&v=4"},"commit":{"message":"deps/k_release: Set Version 7.1.133","shortMessageHtmlLink":"deps/k_release: Set Version 7.1.133"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDo0MDozMy4wMDAwMDBazwAAAAS8WrVt","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDo0MDozMy4wMDAwMDBazwAAAAS8WrVt","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNlQwOToyNjo0Ni4wMDAwMDBazwAAAASuvlGF"}},"title":"Activity · runtimeverification/haskell-backend"}