{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":710037855,"defaultBranch":"master","name":"zeta","ownerLogin":"project-everest","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-25T22:12:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19580477?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699554327.0","currentOid":""},"activityList":{"items":[{"before":"2ba237a6e720b3d9f7a0179c55099d7271cc2e12","after":"2e011112f9c22a4eaf821d3ee331f8fd6f024aa1","ref":"refs/heads/master","pushedAt":"2024-04-17T22:17:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"compat with F* change","shortMessageHtmlLink":"compat with F* change"}},{"before":"ebe69413a9eedce2e823224f03bcb26f195b1c09","after":"2ba237a6e720b3d9f7a0179c55099d7271cc2e12","ref":"refs/heads/master","pushedAt":"2024-02-26T23:08:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"add inductive formalization of datalog from @mtzguido","shortMessageHtmlLink":"add inductive formalization of datalog from <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/mtzguido/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/mtzguido\">@mtzguido</a>"}},{"before":"318604ed2c684ba5210d69eba0fd40f243ce568f","after":"ebe69413a9eedce2e823224f03bcb26f195b1c09","ref":"refs/heads/master","pushedAt":"2024-02-08T23:58:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"remove straggling admits","shortMessageHtmlLink":"remove straggling admits"}},{"before":"7a3561226b8629f0b112e38e98fb6d78f9bb34cb","after":"318604ed2c684ba5210d69eba0fd40f243ce568f","ref":"refs/heads/master","pushedAt":"2024-02-08T21:28:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"add a two similar admits in Zeta.Steel.Application to workaround a regression","shortMessageHtmlLink":"add a two similar admits in Zeta.Steel.Application to workaround a re…"}},{"before":"f2126d3e4cae08fb71e4f74546b60394594f2521","after":"7a3561226b8629f0b112e38e98fb6d78f9bb34cb","ref":"refs/heads/master","pushedAt":"2024-02-08T00:11:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"restore w.r.t F* and steel main branches","shortMessageHtmlLink":"restore w.r.t F* and steel main branches"}},{"before":"908a9b766da541fd2ab200de190111db41612544","after":"f2126d3e4cae08fb71e4f74546b60394594f2521","ref":"refs/heads/master","pushedAt":"2023-12-04T17:56:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"link proof outline","shortMessageHtmlLink":"link proof outline"}},{"before":"7439324a96d15564631be513b0f628fdb578c7d0","after":"908a9b766da541fd2ab200de190111db41612544","ref":"refs/heads/master","pushedAt":"2023-12-04T17:54:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"remove stale file; rename proof outline","shortMessageHtmlLink":"remove stale file; rename proof outline"}},{"before":"1166b73ff6886e45b9a4b271f3b06fffbbf4b3b8","after":"7439324a96d15564631be513b0f628fdb578c7d0","ref":"refs/heads/master","pushedAt":"2023-12-04T17:46:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"license","shortMessageHtmlLink":"license"}},{"before":"fbd9314e005d7cfa09035671272cbb19db791057","after":"1166b73ff6886e45b9a4b271f3b06fffbbf4b3b8","ref":"refs/heads/master","pushedAt":"2023-11-28T18:05:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nikswamy","name":null,"path":"/nikswamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6163359?s=80&v=4"},"commit":{"message":"remove old notes","shortMessageHtmlLink":"remove old notes"}},{"before":"043c659e2e413c6b4cf4f70c1f436cb7c80a738d","after":"fbd9314e005d7cfa09035671272cbb19db791057","ref":"refs/heads/master","pushedAt":"2023-11-14T19:58:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arvinda","name":null,"path":"/arvinda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4951270?s=80&v=4"},"commit":{"message":"code cleanup","shortMessageHtmlLink":"code cleanup"}},{"before":"726590ee6fc9636c98d07cae92c5d9663c9f3c1b","after":"043c659e2e413c6b4cf4f70c1f436cb7c80a738d","ref":"refs/heads/master","pushedAt":"2023-11-14T19:57:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arvinda","name":null,"path":"/arvinda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4951270?s=80&v=4"},"commit":{"message":"cleanup code prior to release","shortMessageHtmlLink":"cleanup code prior to release"}},{"before":"d6ad7afb6f35eae3cfaaae29dfd5d91d1624c10f","after":"726590ee6fc9636c98d07cae92c5d9663c9f3c1b","ref":"refs/heads/master","pushedAt":"2023-11-14T19:41:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arvinda","name":null,"path":"/arvinda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4951270?s=80&v=4"},"commit":{"message":"remove unused files(2)","shortMessageHtmlLink":"remove unused files(2)"}},{"before":"0f303a57452f4dbcdecd07bf9b3a51a8f5b57300","after":"d6ad7afb6f35eae3cfaaae29dfd5d91d1624c10f","ref":"refs/heads/master","pushedAt":"2023-11-14T19:39:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arvinda","name":null,"path":"/arvinda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4951270?s=80&v=4"},"commit":{"message":"remove unused code prior to release","shortMessageHtmlLink":"remove unused code prior to release"}},{"before":"afc9452689e196febd7c2d6016e6b9039c0f85e9","after":"0f303a57452f4dbcdecd07bf9b3a51a8f5b57300","ref":"refs/heads/master","pushedAt":"2023-11-13T22:11:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arvinda","name":null,"path":"/arvinda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4951270?s=80&v=4"},"commit":{"message":"remove the unused old/ folder","shortMessageHtmlLink":"remove the unused old/ folder"}},{"before":"afc9452689e196febd7c2d6016e6b9039c0f85e9","after":null,"ref":"refs/heads/_taramana_ci","pushedAt":"2023-11-09T18:25:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"}},{"before":"24518fd9c65281abbd4e1f3211bae98a5376f8d1","after":"afc9452689e196febd7c2d6016e6b9039c0f85e9","ref":"refs/heads/master","pushedAt":"2023-10-26T00:39:56.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"kvstore formats snap","shortMessageHtmlLink":"kvstore formats snap"}},{"before":"adbb37f2daa346cc880a408bc534124580cc5ec4","after":"afc9452689e196febd7c2d6016e6b9039c0f85e9","ref":"refs/heads/_taramana_ci","pushedAt":"2023-10-25T23:50:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"kvstore formats snap","shortMessageHtmlLink":"kvstore formats snap"}},{"before":"f914bf21880d0dbb25dc098b5646d5e859e47902","after":"adbb37f2daa346cc880a408bc534124580cc5ec4","ref":"refs/heads/_taramana_ci","pushedAt":"2023-10-25T22:22:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"Revert \"(TEMP) use GitHub-hosted runner for nightly CI\"\n\nThis reverts commit f914bf21880d0dbb25dc098b5646d5e859e47902.","shortMessageHtmlLink":"Revert \"(TEMP) use GitHub-hosted runner for nightly CI\""}},{"before":null,"after":"f914bf21880d0dbb25dc098b5646d5e859e47902","ref":"refs/heads/_taramana_ci","pushedAt":"2023-10-25T22:14:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"(TEMP) use GitHub-hosted runner for nightly CI","shortMessageHtmlLink":"(TEMP) use GitHub-hosted runner for nightly CI"}},{"before":null,"after":"24518fd9c65281abbd4e1f3211bae98a5376f8d1","ref":"refs/heads/master","pushedAt":"2023-10-25T22:13:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"point to steel instead of steel-draft; regenerate C snapshot with latest krml","shortMessageHtmlLink":"point to steel instead of steel-draft; regenerate C snapshot with lat…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0xN1QyMjoxNzo1OC4wMDAwMDBazwAAAAQzjtw7","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0xN1QyMjoxNzo1OC4wMDAwMDBazwAAAAQzjtw7","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yNVQyMjoxMzoyOC4wMDAwMDBazwAAAAOf54Ed"}},"title":"Activity · project-everest/zeta"}