{"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:1715699766.0","currentOid":""},"activityList":{"items":[{"before":"e89db1e25fdef5b9b4fda87c7f5e6a172ab78349","after":"cc11d124ab7ee0aadb300e99f63e3bbb6cc29ce3","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-22T02:41: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.80","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.80"}},{"before":"2f534465b414a7e413cb8147700bd672049875fc","after":"e89db1e25fdef5b9b4fda87c7f5e6a172ab78349","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T22:50: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.79","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.79"}},{"before":"c00802d71b38019e1dc619565bca1688289f3828","after":"2f534465b414a7e413cb8147700bd672049875fc","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T21:58: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.78","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.78"}},{"before":"47fac83322232dd8c7c0d3a46c6ac1d80176206d","after":"c00802d71b38019e1dc619565bca1688289f3828","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T20:56:14.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.77","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.77"}},{"before":"6a84475363b94fc4af63aca4dbd5b24f3078c98a","after":"47fac83322232dd8c7c0d3a46c6ac1d80176206d","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T19:23:08.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.76","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.76"}},{"before":"0157fdd4131745cd4ee35d37e8288ccb2bec09e1","after":"6a84475363b94fc4af63aca4dbd5b24f3078c98a","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T16:10: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.0.75","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.75"}},{"before":"0b2b2ca3a0e567c37b9763e3796a3116db1b9004","after":"0157fdd4131745cd4ee35d37e8288ccb2bec09e1","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T13:42: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.74","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.74"}},{"before":"1cd43035f88a86f51604cea814fb575522916c4e","after":"0b2b2ca3a0e567c37b9763e3796a3116db1b9004","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-21T09:20:59.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.72","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.72"}},{"before":"b68a79566e0f3f05e89af90ca05972432635af81","after":"1cd43035f88a86f51604cea814fb575522916c4e","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-18T22:52: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.0.71","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.71"}},{"before":"a3cec80e5b94cd53536e298cc9bb2169cc611d1a","after":"b68a79566e0f3f05e89af90ca05972432635af81","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-16T12:57:18.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.70","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.70"}},{"before":"c460a59a849ac42fb9572c725ff793bffc9219dd","after":"a3cec80e5b94cd53536e298cc9bb2169cc611d1a","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T21:19: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.69","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.69"}},{"before":"bebfbb29c040b8f38ec4761d7901aea6ba949329","after":"c460a59a849ac42fb9572c725ff793bffc9219dd","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T17:30: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.68","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.68"}},{"before":"99ba4862afb1f8a956ba9224cdd39c3b32f26e2b","after":"bebfbb29c040b8f38ec4761d7901aea6ba949329","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T16:29: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.67","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.67"}},{"before":"27cc46894354602f4ece0f8d46fc87b00b08fdb0","after":"99ba4862afb1f8a956ba9224cdd39c3b32f26e2b","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T15:13: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.66","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.66"}},{"before":"2ecc6755c024af16522f6dcfae968be3e0bc73bd","after":"27cc46894354602f4ece0f8d46fc87b00b08fdb0","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T13:53: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.65","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.65"}},{"before":"0882349e4cfeb23e3500055b873d9aafe25bb1f4","after":"2ecc6755c024af16522f6dcfae968be3e0bc73bd","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T12: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.64","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.64"}},{"before":"c679b0564d168df41587cb7d78889e9931675100","after":"0882349e4cfeb23e3500055b873d9aafe25bb1f4","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T10:34:12.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.63","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.63"}},{"before":"0bc213241fb974347656d09802fc41def5f7e80f","after":"c679b0564d168df41587cb7d78889e9931675100","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-15T09:03:35.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.62","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.62"}},{"before":null,"after":"0bc213241fb974347656d09802fc41def5f7e80f","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-14T15:16:06.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.0.61","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.61"}},{"before":"743f5a9770348b7359b2b534863632c3cdf160a8","after":null,"ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-13T17:56:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gtrepta","name":null,"path":"/gtrepta","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/50716988?s=80&v=4"}},{"before":"13339c8e1bb968c1fe4ca76d3a425b706856eb2c","after":"73ac7600a62cd2c6828d11fac159a4394fc23a6a","ref":"refs/heads/master","pushedAt":"2024-05-13T17:24:38.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 (#21)\n\n* deps/k_release: Set Version 7.0.11\n\n* deps/k_release: Set Version 7.0.12\n\n* deps/k_release: Set Version 7.0.13\n\n* deps/k_release: Set Version 7.0.14\n\n* deps/k_release: Set Version 7.0.15\n\n* deps/k_release: Set Version 7.0.16\n\n* deps/k_release: Set Version 7.0.17\n\n* deps/k_release: Set Version 7.0.24\n\n* deps/k_release: Set Version 7.0.25\n\n* deps/k_release: Set Version 7.0.26\n\n* deps/k_release: Set Version 7.0.27\n\n* deps/k_release: Set Version 7.0.28\n\n* deps/k_release: Set Version 7.0.29\n\n* deps/k_release: Set Version 7.0.30\n\n* deps/k_release: Set Version 7.0.31\n\n* deps/k_release: Set Version 7.0.32\n\n* deps/k_release: Set Version 7.0.33\n\n* deps/k_release: Set Version 7.0.34\n\n* deps/k_release: Set Version 7.0.35\n\n* deps/k_release: Set Version 7.0.36\n\n* deps/k_release: Set Version 7.0.37\n\n* deps/k_release: Set Version 7.0.38\n\n* deps/k_release: Set Version 7.0.39\n\n* deps/k_release: Set Version 7.0.40\n\n* deps/k_release: Set Version 7.0.41\n\n* deps/k_release: Set Version 7.0.42\n\n* deps/k_release: Set Version 7.0.43\n\n* deps/k_release: Set Version 7.0.44\n\n* deps/k_release: Set Version 7.0.45\n\n* deps/k_release: Set Version 7.0.46\n\n* deps/k_release: Set Version 7.0.47\n\n* deps/k_release: Set Version 7.0.48\n\n* deps/k_release: Set Version 7.0.49\n\n* deps/k_release: Set Version 7.0.50\n\n* deps/k_release: Set Version 7.0.51\n\n* deps/k_release: Set Version 7.0.52\n\n* deps/k_release: Set Version 7.0.53\n\n* deps/k_release: Set Version 7.0.54\n\n* deps/k_release: Set Version 7.0.55\n\n* deps/k_release: Set Version 7.0.56\n\n* deps/k_release: Set Version 7.0.57\n\n* deps/k_release: Set Version 7.0.59\n\n* deps/k_release: Set Version 7.0.60\n\n---------\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=\"2249287007\" data-permission-text=\"Title is private\" data-url=\"https://github.com/runtimeverification/pl-tutorial/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/runtimeverification/pl-tutorial/pull/21/hovercard\" href=\"https://github.com/runtimeverification/pl-tutorial/pull/21\">#21</a>)"}},{"before":"fb8bdcb4a9446360c8dd3845ae99df4b98853e48","after":"743f5a9770348b7359b2b534863632c3cdf160a8","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-13T16:49:32.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.60","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.60"}},{"before":"4804fa5d1d533cabda8c80e16cd361b24125a8d1","after":"fb8bdcb4a9446360c8dd3845ae99df4b98853e48","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-13T12:56: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.59","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.59"}},{"before":"459fae37cd5195b7617605a1e81db05fb112db1e","after":"4804fa5d1d533cabda8c80e16cd361b24125a8d1","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-13T08:33:36.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.57","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.57"}},{"before":"6c31c3866f6ee3aef0f5f256b48365b4ee4466b7","after":"459fae37cd5195b7617605a1e81db05fb112db1e","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-10T17:05: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.56","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.56"}},{"before":"b391f21048fe9db0b5bfceb83ea502c409213eba","after":"6c31c3866f6ee3aef0f5f256b48365b4ee4466b7","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-10T15:19:34.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.55","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.55"}},{"before":"ed739e90c30ec07304ad17ba3786a43c5b02e90d","after":"b391f21048fe9db0b5bfceb83ea502c409213eba","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-10T13:57:08.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.54","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.54"}},{"before":"4b8030eb7984ac225b31d29d1c3f3090381781e1","after":"ed739e90c30ec07304ad17ba3786a43c5b02e90d","ref":"refs/heads/_update-deps/runtimeverification/k","pushedAt":"2024-05-10T09:57:15.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.53","shortMessageHtmlLink":"deps/k_release: Set Version 7.0.53"}},{"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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUHRsPQA","startCursor":null,"endCursor":null}},"title":"Activity · runtimeverification/pl-tutorial"}