{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":741117177,"defaultBranch":"master","name":"pl-tutorial","ownerLogin":"runtimeverification","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-01-09T18:22:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3732719?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713388763.0","currentOid":""},"activityList":{"items":[{"before":"67914a3a48775b3de81c8846bc7a8c04d46ca255","after":"4b8030eb7984ac225b31d29d1c3f3090381781e1","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-09T20:14:23.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.0.52","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.52"}},{"before":"4a313e02113493aad24df5261b08b466f782253e","after":"67914a3a48775b3de81c8846bc7a8c04d46ca255","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-09T18:32:37.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.0.51","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.51"}},{"before":"f690e1cd806c1b29bf2cbda03a0d58ff919b084c","after":"4a313e02113493aad24df5261b08b466f782253e","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-09T17:32: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.0.50","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.50"}},{"before":"5b51e3b2b4abc80012e6e0434fdbe17228882c08","after":"f690e1cd806c1b29bf2cbda03a0d58ff919b084c","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-08T20:20:26.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.0.49","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.49"}},{"before":"1b15c2e17ee570383ed213b8d98c1e109dc11422","after":"5b51e3b2b4abc80012e6e0434fdbe17228882c08","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-08T19:23:19.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.0.48","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.48"}},{"before":"4188ac4bf99367585133ee1f2a991ac1991df4c7","after":"1b15c2e17ee570383ed213b8d98c1e109dc11422","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-08T17:46: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.0.47","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.47"}},{"before":"028b285acba0628479c8084455637f280b769749","after":"4188ac4bf99367585133ee1f2a991ac1991df4c7","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-07T14:25:24.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.0.46","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.46"}},{"before":"d82a48367020fd5dc7639d66a76a9be81d8f869b","after":"028b285acba0628479c8084455637f280b769749","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-07T12:50:30.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.0.45","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.45"}},{"before":"9262cf9069de5ada17f33e9c59ac50e3822bcc74","after":"d82a48367020fd5dc7639d66a76a9be81d8f869b","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-06T19:23:58.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.0.44","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.44"}},{"before":"15d5da4ea9523e64396a1f20d37c343eb38aec9c","after":"9262cf9069de5ada17f33e9c59ac50e3822bcc74","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-06T17:26:03.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.0.43","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.43"}},{"before":"625e05ccc0b451bcbb5577239a864663876d8c59","after":"15d5da4ea9523e64396a1f20d37c343eb38aec9c","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-06T11:23: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.0.42","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.42"}},{"before":"cfa299ce34fe1eb2d7b1212f82e2f9d974041749","after":"625e05ccc0b451bcbb5577239a864663876d8c59","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-03T14:25:56.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.0.41","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.41"}},{"before":"fcca2fa387473f33868a614e64fe0406dc1f17bb","after":"cfa299ce34fe1eb2d7b1212f82e2f9d974041749","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-02T18:48:53.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.0.40","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.40"}},{"before":"c4beb62436f7361fc6a9ba66cdbf04ff465b0eec","after":"fcca2fa387473f33868a614e64fe0406dc1f17bb","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-02T16:22:50.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.0.39","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.39"}},{"before":"b8775cb6ac4a6ac87d91a4d204e17a96b5ba1871","after":"c4beb62436f7361fc6a9ba66cdbf04ff465b0eec","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-02T13:06:21.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.0.38","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.38"}},{"before":"d2f6c422ede238af9f6a87026937cc4b00ba5f15","after":"b8775cb6ac4a6ac87d91a4d204e17a96b5ba1871","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-02T12:06:23.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.0.37","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.37"}},{"before":"f56ca95f63cd158c6239cdac5714a17856bc8f91","after":"d2f6c422ede238af9f6a87026937cc4b00ba5f15","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-02T10:22:24.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.0.36","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.36"}},{"before":"c2e86a38fb5cc53e6a7bbd61d12d25fe25bb161f","after":"f56ca95f63cd158c6239cdac5714a17856bc8f91","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-01T21:59: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.0.35","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.35"}},{"before":"b79ec05b26bd436d03581e963edb8bb79316c98a","after":"c2e86a38fb5cc53e6a7bbd61d12d25fe25bb161f","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-01T16:34: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.0.34","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.34"}},{"before":"e25dfe26d0e09b169333cea53d164c7794130845","after":"b79ec05b26bd436d03581e963edb8bb79316c98a","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-01T12:36:47.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.0.33","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.33"}},{"before":"420fb78f0ec6d0a178c9904ba21eb1b792ef324a","after":"e25dfe26d0e09b169333cea53d164c7794130845","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-01T11:03:03.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.0.32","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.32"}},{"before":"fd9341eee04ad355710125fd42091a3ea79b9356","after":"420fb78f0ec6d0a178c9904ba21eb1b792ef324a","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-01T04:33:31.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.0.31","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.31"}},{"before":"0fe7755b7c6d53199eb88890e137516da1c1f901","after":"fd9341eee04ad355710125fd42091a3ea79b9356","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-30T18:19: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.0.30","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.30"}},{"before":"13c00e3fa33473c480df5088fdf49f293b908ca9","after":"0fe7755b7c6d53199eb88890e137516da1c1f901","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-29T22:17:21.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.0.29","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.29"}},{"before":"9b840eef79af61de05aea69b5006c741579819d2","after":"13c00e3fa33473c480df5088fdf49f293b908ca9","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-29T21:19:16.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.0.28","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.28"}},{"before":"f5663832abdaf0220659f2124723cc66b3a1cdc3","after":"9b840eef79af61de05aea69b5006c741579819d2","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-29T13:43:31.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.0.27","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.27"}},{"before":"8c6346d86538a17d000238d1e5ebcb83f56602d8","after":"f5663832abdaf0220659f2124723cc66b3a1cdc3","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-29T11:20:27.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.0.26","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.26"}},{"before":"288b8be6e6d2377f6de47f05ea0769fbb6f4d6d6","after":"8c6346d86538a17d000238d1e5ebcb83f56602d8","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-26T22:16:05.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.0.25","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.25"}},{"before":"4b1d938023f23520d56c6afcb254c019416fa1ac","after":"288b8be6e6d2377f6de47f05ea0769fbb6f4d6d6","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-26T14:45:13.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.0.24","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.24"}},{"before":"f49e860e3024f4a5ba486494ea73ebe28c053d10","after":"4b1d938023f23520d56c6afcb254c019416fa1ac","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-04-22T20:25:56.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.0.17","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.17"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERfj3VgA","startCursor":null,"endCursor":null}},"title":"Activity · runtimeverification/pl-tutorial"}