{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":123514036,"defaultBranch":"master","name":"snarky","ownerLogin":"o1-labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-03-02T01:34:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34635390?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715635577.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"b857688eb765b61fa55f1cd95e8367e9b689f04b","ref":"refs/heads/sai/remove-broken-links","pushedAt":"2024-05-13T21:26:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"svv232","name":"Sai Vegasena","path":"/svv232","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23268748?s=80&v=4"},"commit":{"message":"removing references to broken links","shortMessageHtmlLink":"removing references to broken links"}},{"before":"73aec2b3933d6fb8613203ad9fdadd4607a17eb9","after":"1341cdc7bc5ca72f5b9339f8280eb1379f2a8a20","ref":"refs/heads/georgeee/remove-urls-from-opam-files","pushedAt":"2024-04-10T13:21:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"georgeee","name":"George Agapov","path":"/georgeee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1295394?s=80&v=4"},"commit":{"message":"Add version to opam files","shortMessageHtmlLink":"Add version to opam files"}},{"before":"1906382711d2bed7474e34f72c89573c682476da","after":"44e86744ac24037d2e76d715af1739e72fac6421","ref":"refs/heads/coda","pushedAt":"2024-04-04T06:03:26.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge branch 'master' into coda","shortMessageHtmlLink":"Merge branch 'master' into coda"}},{"before":"399b731a40e4d2dd57118c9a165e56d176b89855","after":"f95539e438faaf00a67d0587120192bea9c06316","ref":"refs/heads/master","pushedAt":"2024-04-04T05:53:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge pull request #842 from o1-labs/id-tracking\n\nBe aggressive about checking state consistency","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2182182339\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/842\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/842/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/842\">#842</a> from o1-labs/id-tracking"}},{"before":null,"after":"73aec2b3933d6fb8613203ad9fdadd4607a17eb9","ref":"refs/heads/georgeee/remove-urls-from-opam-files","pushedAt":"2024-03-29T21:25:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"georgeee","name":"George Agapov","path":"/georgeee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1295394?s=80&v=4"},"commit":{"message":"Remove wrong URLs from opam files","shortMessageHtmlLink":"Remove wrong URLs from opam files"}},{"before":"a1ed28558712bb9beb56b49ba2a1d2bae245314d","after":"f21ce88c12daea64e098d7c6dbadac3cc29ce1c9","ref":"refs/heads/circuit-playground","pushedAt":"2024-03-23T13:25:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"emberian","name":null,"path":"/emberian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704250?s=80&v=4"},"commit":{"message":"Constraint_system_intf.{num_constraints,to_asm}","shortMessageHtmlLink":"Constraint_system_intf.{num_constraints,to_asm}"}},{"before":null,"after":"a1ed28558712bb9beb56b49ba2a1d2bae245314d","ref":"refs/heads/circuit-playground","pushedAt":"2024-03-23T13:24:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"emberian","name":null,"path":"/emberian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/704250?s=80&v=4"},"commit":{"message":"Constraint_system_intf.{num_constraints,to_asm}","shortMessageHtmlLink":"Constraint_system_intf.{num_constraints,to_asm}"}},{"before":null,"after":"a79b9549eac135ac9cbcb47d8d5ca8b3b542ab59","ref":"refs/heads/id-tracking","pushedAt":"2024-03-12T16:47:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Be aggressive about checking state consistency","shortMessageHtmlLink":"Be aggressive about checking state consistency"}},{"before":"b539752a5c075f2d822703a7d5bf00f19f805d63","after":"399b731a40e4d2dd57118c9a165e56d176b89855","ref":"refs/heads/master","pushedAt":"2024-03-12T16:31:30.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Merge pull request #841 from o1-labs/feature/async-request\n\nAsync requests","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2181232976\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/841\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/841/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/841\">#841</a> from o1-labs/feature/async-request"}},{"before":"aa42ce864e7e6c1531d891acc7ee54b7c9040d4b","after":"9123bde13dbb0b623b44cb005087f5444da18191","ref":"refs/heads/feature/async-request","pushedAt":"2024-03-12T09:45:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"more descriptive name","shortMessageHtmlLink":"more descriptive name"}},{"before":null,"after":"aa42ce864e7e6c1531d891acc7ee54b7c9040d4b","ref":"refs/heads/feature/async-request","pushedAt":"2024-03-11T20:20:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"stub out async request","shortMessageHtmlLink":"stub out async request"}},{"before":"94b2df82129658d505b612806a5804bc192f13f0","after":"1906382711d2bed7474e34f72c89573c682476da","ref":"refs/heads/coda","pushedAt":"2024-03-07T00:50:29.000Z","pushType":"pr_merge","commitsCount":71,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge pull request #840 from o1-labs/master\n\nMerge master to coda","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2172712745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/840\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/840/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/840\">#840</a> from o1-labs/master"}},{"before":"c4457d5393661d63bbe5de9a418b7a6bab64ec0d","after":"b539752a5c075f2d822703a7d5bf00f19f805d63","ref":"refs/heads/master","pushedAt":"2024-03-07T00:48:22.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge pull request #839 from o1-labs/feature/async-exists\n\nSupport async witnessing","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2159183081\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/839\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/839/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/839\">#839</a> from o1-labs/feature/async-exists"}},{"before":"c8b812e2a8b6994fe6c25a763e982299ccce50ed","after":"c4457d5393661d63bbe5de9a418b7a6bab64ec0d","ref":"refs/heads/master","pushedAt":"2024-03-07T00:47:16.000Z","pushType":"pr_merge","commitsCount":55,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge pull request #836 from o1-labs/feature/asyncify\n\nAdd callback-oriented versions of `constraint_system` and `generate_witness`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2128879195\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/836\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/836/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/836\">#836</a> from o1-labs/feature/asyncify"}},{"before":"46b1300da2e6c66ff68506b62009df2b762eb417","after":"f27f6d8c7065ffc840d4f3e80e17e44de02da653","ref":"refs/heads/feature/async-exists","pushedAt":"2024-03-05T16:27:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"use staged","shortMessageHtmlLink":"use staged"}},{"before":"a306b3334e7ad990e8a04bde9c9285a4c83621c3","after":"46b1300da2e6c66ff68506b62009df2b762eb417","ref":"refs/heads/feature/async-exists","pushedAt":"2024-03-05T15:40:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"instead of exposing state, add a manual version of exists","shortMessageHtmlLink":"instead of exposing state, add a manual version of exists"}},{"before":"8cbda0b73334954794021712b6305b3ba8a54404","after":"a306b3334e7ad990e8a04bde9c9285a4c83621c3","ref":"refs/heads/feature/async-exists","pushedAt":"2024-03-05T12:35:14.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge branch 'tmp' into feature/async-exists","shortMessageHtmlLink":"Merge branch 'tmp' into feature/async-exists"}},{"before":null,"after":"8cbda0b73334954794021712b6305b3ba8a54404","ref":"refs/heads/feature/async-exists","pushedAt":"2024-02-28T15:04:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"expose state","shortMessageHtmlLink":"expose state"}},{"before":"346ca07d617b636884fed2eb16a097c5baa54f52","after":"4f7006fe375302c5aa9abf85b66554ca2e0bb13c","ref":"refs/heads/feature/asyncify","pushedAt":"2024-02-28T13:53:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"ocamlformat","shortMessageHtmlLink":"ocamlformat"}},{"before":"8cfd780d2119a77e5c99955faf8c6a2445e9397b","after":"346ca07d617b636884fed2eb16a097c5baa54f52","ref":"refs/heads/feature/asyncify","pushedAt":"2024-02-27T15:35:00.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"mitschabaude","name":"Gregor Mitscha-Baude","path":"/mitschabaude","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20989968?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/asyncify","shortMessageHtmlLink":"Merge branch 'master' into feature/asyncify"}},{"before":"b61bd8e3699d6fc3990fcae4866e85f36b872c1e","after":null,"ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T15:32:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"}},{"before":"94b2df82129658d505b612806a5804bc192f13f0","after":"c8b812e2a8b6994fe6c25a763e982299ccce50ed","ref":"refs/heads/master","pushedAt":"2024-02-26T15:32:45.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Merge pull request #838 from o1-labs/fix/github-actions-ci\n\nFix GitHub actions CI, retire CircleCI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2154360717\" data-permission-text=\"Title is private\" data-url=\"https://github.com/o1-labs/snarky/issues/838\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/o1-labs/snarky/pull/838/hovercard\" href=\"https://github.com/o1-labs/snarky/pull/838\">#838</a> from o1-labs/fix/github-actions-ci"}},{"before":"7294c54c6aff2cdff21afd7e4e3d2b5e9a707a97","after":"b61bd8e3699d6fc3990fcae4866e85f36b872c1e","ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T15:00:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Remove dependency and see what happens","shortMessageHtmlLink":"Remove dependency and see what happens"}},{"before":"58f94ef474a5d1f861067d4ec6eee7ee5736a190","after":"7294c54c6aff2cdff21afd7e4e3d2b5e9a707a97","ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T14:56:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"8 as well","shortMessageHtmlLink":"8 as well"}},{"before":"6bd00b9b78c2467f7603ee6008f25450eeea65a1","after":"58f94ef474a5d1f861067d4ec6eee7ee5736a190","ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T14:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Add fallthrough for libprocps install","shortMessageHtmlLink":"Add fallthrough for libprocps install"}},{"before":"170fcac20b3400df2ae0c7af14d5e8fc626d0f6e","after":"6bd00b9b78c2467f7603ee6008f25450eeea65a1","ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T14:47:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Rename docker build","shortMessageHtmlLink":"Rename docker build"}},{"before":null,"after":"170fcac20b3400df2ae0c7af14d5e8fc626d0f6e","ref":"refs/heads/fix/github-actions-ci","pushedAt":"2024-02-26T14:45:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Fixup dockerfile","shortMessageHtmlLink":"Fixup dockerfile"}},{"before":"d9c4828ca18269f65563d048c8627d49323ff212","after":"8cfd780d2119a77e5c99955faf8c6a2445e9397b","ref":"refs/heads/feature/asyncify","pushedAt":"2024-02-11T07:47:53.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/asyncify","shortMessageHtmlLink":"Merge branch 'master' into feature/asyncify"}},{"before":null,"after":"d9c4828ca18269f65563d048c8627d49323ff212","ref":"refs/heads/feature/asyncify","pushedAt":"2024-02-11T07:37:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mrmr1993","name":"Matthew Ryan","path":"/mrmr1993","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1847343?s=80&v=4"},"commit":{"message":"Add callback versions of constraint_system and generate_witness","shortMessageHtmlLink":"Add callback versions of constraint_system and generate_witness"}},{"before":"5e3beb37a61e2c6199f303d461bf1c5d04bbd921","after":"c7765872b7c3a08a6d5cbcf07579fa2791a0ebec","ref":"refs/heads/volhovm/refactoring-15-01-2024","pushedAt":"2024-01-17T14:08:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volhovm","name":"Misha Volkhov","path":"/volhovm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5604643?s=80&v=4"},"commit":{"message":"Empty commit to trigger CI","shortMessageHtmlLink":"Empty commit to trigger CI"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESNePugA","startCursor":null,"endCursor":null}},"title":"Activity · o1-labs/snarky"}