{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":34082065,"defaultBranch":"master","name":"saw-script","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-16T21:39:32.000Z","ownerAvatar":"https://github.com/avatars/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726687913.0","currentOid":""},"activityList":{"items":[{"before":"b5b8c37f43dfce36be1b4f9c23222236b97b6ac2","after":null,"ref":"refs/heads/argo-client-0.0.13","pushedAt":"2024-09-18T19:23:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"}},{"before":"9251017abdef9ba437b80c2868855e5a72d7d89e","after":"ad9319c9ac652840773801a3c88a01b94bd7f166","ref":"refs/heads/master","pushedAt":"2024-09-18T19:23:18.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #2123 from GaloisInc/argo-client-0.0.13\n\nPython: Require argo-client >= 0.0.13 and cryptol 3.2.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2534435392\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2123\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2123/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2123\">#2123</a> from GaloisInc/argo-client-0.0.13"}},{"before":null,"after":"b5b8c37f43dfce36be1b4f9c23222236b97b6ac2","ref":"refs/heads/argo-client-0.0.13","pushedAt":"2024-09-18T18:43:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Python: Bump development version to 1.2.1.99","shortMessageHtmlLink":"Python: Bump development version to 1.2.1.99"}},{"before":"d09ca22e474fa6a5133989e724e8c0dc4a3a1f95","after":null,"ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-18T00:43:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"}},{"before":"cfaba801f8a601f896aee6f557df75675ce4d878","after":"9251017abdef9ba437b80c2868855e5a72d7d89e","ref":"refs/heads/master","pushedAt":"2024-09-18T00:43:22.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2116 from GaloisInc/2114-coverage-version-bump\n\nFix the way compute-coverage finds the hpc dir in dist-newstyle","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2506710268\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2116\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2116/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2116\">#2116</a> from GaloisInc/2114-coverage-version-bump"}},{"before":"e2233101ed7fef61855ddd2e4262b03177e1b7fc","after":"d09ca22e474fa6a5133989e724e8c0dc4a3a1f95","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-18T00:40:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Merge branch 'master' into 2114-coverage-version-bump\n\nThis brings in the recent CI changes and particularly #2118.","shortMessageHtmlLink":"Merge branch 'master' into 2114-coverage-version-bump"}},{"before":"41b9be31b152c2710d613e632ceac4d5d5562dce","after":"e2233101ed7fef61855ddd2e4262b03177e1b7fc","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-13T18:29:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Revert \"EXPERIMENT: Version bump\"\n\nThis reverts commit 41b9be31b152c2710d613e632ceac4d5d5562dce.","shortMessageHtmlLink":"Revert \"EXPERIMENT: Version bump\""}},{"before":"d2834044a813d45af613f849da362db048b357cc","after":"41b9be31b152c2710d613e632ceac4d5d5562dce","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-13T17:39:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"EXPERIMENT: Version bump","shortMessageHtmlLink":"EXPERIMENT: Version bump"}},{"before":"d489ee3d41db19b420be44769a835a02a58d8e9d","after":null,"ref":"refs/heads/2120-function-arrays","pushedAt":"2024-09-12T19:39:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"}},{"before":"268438579923ebae254132a70d2e18e47e701d4c","after":"cfaba801f8a601f896aee6f557df75675ce4d878","ref":"refs/heads/master","pushedAt":"2024-09-12T19:39:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2121 from GaloisInc/2120-function-arrays\n\nDon't fail when What4 sends us a function-based array in a result.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2521056994\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2121\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2121/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2121\">#2121</a> from GaloisInc/2120-function-arrays"}},{"before":"6be8c80f12fcd3d580ce5e8988d57770c90d42f1","after":"d489ee3d41db19b420be44769a835a02a58d8e9d","ref":"refs/heads/2120-function-arrays","pushedAt":"2024-09-12T19:38:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Don't fail when What4 sends us a function-based array in a result.\n\nWe can't store function-based arrays in FirstOrderValue for a number\nof reasons. But we also can't do anything much useful with them, so if\nwe get one (unfortunately this does happen, which may or may not be\namenable to improvement in What4) treat it as an opaque blob.\n\nAdd an FOVOpaqueArray to FirstOrderValue for this. The footprint of\nhaving this undesirable object is not large, so it's the path of least\nresistance. We could in principle instead return something other than\na FirstOrderValue out of groundToFOV for this case, if we had a use\nfor the actual function, but since we can't do anything much with the\nfunction because we have no idea what keys to look up, there doesn't\nseem to be any point.","shortMessageHtmlLink":"Don't fail when What4 sends us a function-based array in a result."}},{"before":"86b9f479088063f2540ed6720c02da697de61b4a","after":"6be8c80f12fcd3d580ce5e8988d57770c90d42f1","ref":"refs/heads/2120-function-arrays","pushedAt":"2024-09-12T18:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"fix trailing whitespace","shortMessageHtmlLink":"fix trailing whitespace"}},{"before":"a0d8221002897efbd5496d3259f3a99e35625213","after":"86b9f479088063f2540ed6720c02da697de61b4a","ref":"refs/heads/2120-function-arrays","pushedAt":"2024-09-12T18:18:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Strengthen note crossreferences as suggested.\n\nalso fix some adjoining mangled comment text","shortMessageHtmlLink":"Strengthen note crossreferences as suggested."}},{"before":null,"after":"a0d8221002897efbd5496d3259f3a99e35625213","ref":"refs/heads/2120-function-arrays","pushedAt":"2024-09-12T00:21:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Don't fail when What4 sends us a function-based array in a result.\n\nWe can't store function-based arrays in FirstOrderValue for a number\nof reasons. But we also can't do anything much useful with them, so if\nwe get one (unfortunately this does happen, which may or may not be\namenable to improvement in What4) treat it as an opaque blob.\n\nAdd an FOVOpaqueArray to FirstOrderValue for this. The footprint of\nhaving this undesirable object is not large, so it's the path of least\nresistance. We could in principle instead return something other than\na FirstOrderValue out of groundToFOV for this case, if we had a use\nfor the actual function, but since we can't do anything much with the\nfunction because we have no idea what keys to look up, there doesn't\nseem to be any point.","shortMessageHtmlLink":"Don't fail when What4 sends us a function-based array in a result."}},{"before":"403c65727037a534a7c96a578aecde39a91b4070","after":"d2834044a813d45af613f849da362db048b357cc","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-10T22:10:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Revert the version bump again for the real test","shortMessageHtmlLink":"Revert the version bump again for the real test"}},{"before":"d33daa0bfda9baa8dc96819e1535d553a687bc78","after":"403c65727037a534a7c96a578aecde39a91b4070","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-10T21:19:44.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Bump the version again for another test run.\n\nThis time use 1.2.1.51, just so it's different from the last go too.","shortMessageHtmlLink":"Bump the version again for another test run."}},{"before":"a66f1783c3974b60392558d9e59eda01aa6407ff","after":null,"ref":"refs/heads/T2111-mir-json-submodule","pushedAt":"2024-09-10T18:09:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"}},{"before":"30606a2c30b0e9cbde0fd46eb4b32a2cd33d6f49","after":"268438579923ebae254132a70d2e18e47e701d4c","ref":"refs/heads/master","pushedAt":"2024-09-10T18:09:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Explicitly pin the mir-json version that SAW requires (#2115)\n\nSAW's MIR backend requires a particular MIR JSON schema, but it is not entirely\r\nobvious which version of the JSON schema to use (#2111). This patch is one step\r\ntowards addressing this concern. It:\r\n\r\n* Adds `mir-json` as a submodule. At present, nothing in the repo (CI or\r\n  otherwise) actually _builds_ this submodule. Its presence is purely to\r\n  communicate which version of `mir-json` must be used to compile Rust code to\r\n  JSON that SAW can ingest.\r\n\r\n* Documents this in the `README`.\r\n\r\nIn the future, we will want to actually build and use `mir-json` in the CI\r\n(see #1868 for an in-progress attempt at this), but in the meantime, this is a\r\ndecent first step. Until we actually start building `mir-json` in the CI and\r\nusing it, we will need to remember to bump the `mir-json` submodule each time\r\nthat SAW's JSON schema requirement changes.\r\n\r\nAddresses one part of #2111.","shortMessageHtmlLink":"Explicitly pin the mir-json version that SAW requires (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2505604158\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2115\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2115/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2115\">#2115</a>)"}},{"before":"04ee593d3635cf1e2a9ae0e49e87841b6fbe9869","after":"a66f1783c3974b60392558d9e59eda01aa6407ff","ref":"refs/heads/T2111-mir-json-submodule","pushedAt":"2024-09-09T20:25:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Explicitly pin the mir-json version that SAW requires\n\nSAW's MIR backend requires a particular MIR JSON schema, but it is not entirely\nobvious which version of the JSON schema to use (#2111). This patch is one step\ntowards addressing this concern. It:\n\n* Adds `mir-json` as a submodule. At present, nothing in the repo (CI or\n  otherwise) actually _builds_ this submodule. Its presence is purely to\n  communicate which version of `mir-json` must be used to compile Rust code to\n  JSON that SAW can ingest.\n\n* Documents this in the `README`.\n\nIn the future, we will want to actually build and use `mir-json` in the CI\n(see #1868 for an in-progress attempt at this), but in the meantime, this is a\ndecent first step. Until we actually start building `mir-json` in the CI and\nusing it, we will need to remember to bump the `mir-json` submodule each time\nthat SAW's JSON schema requirement changes.\n\nAddresses one part of #2111.","shortMessageHtmlLink":"Explicitly pin the mir-json version that SAW requires"}},{"before":"0ef0eee0d735b235ea8d59cb7f9bd26ffed3589b","after":null,"ref":"refs/heads/T2117-upgrade-actions-versions","pushedAt":"2024-09-09T15:09:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"}},{"before":"04639d3fd3ef8b48f3691c3a459b0da66f7928d1","after":"30606a2c30b0e9cbde0fd46eb4b32a2cd33d6f49","ref":"refs/heads/master","pushedAt":"2024-09-09T15:09:36.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #2118 from GaloisInc/T2117-upgrade-actions-versions\n\nCI: Upgrade `{upload,download}-artifact` actions to v4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2513995067\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2118\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2118/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2118\">#2118</a> from GaloisInc/T2117-upgrade-actions-versions"}},{"before":"cb1ab837574357b1f2f5b463ccdbd9376bb91be2","after":"0ef0eee0d735b235ea8d59cb7f9bd26ffed3589b","ref":"refs/heads/T2117-upgrade-actions-versions","pushedAt":"2024-09-09T14:25:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"CI: Upload HPC-enabled binaries to separate name\n\nPreviously, we were inadvertently uploading the HPC-enabled binaries and the\nnon-HPC-enabled binaries to the same name (`dist-tests-${{ matrix.os }}`). This\nis very dangerous, as this risks the two artifacts clobbering each other.\nMoreover, `actions/upload-artifact@v4` makes this a hard error, so we now have\nno choice but to disambiguate the artifact names.","shortMessageHtmlLink":"CI: Upload HPC-enabled binaries to separate name"}},{"before":"413d64b3592cd45e0e344588806898044af20ef3","after":"cb1ab837574357b1f2f5b463ccdbd9376bb91be2","ref":"refs/heads/T2117-upgrade-actions-versions","pushedAt":"2024-09-09T14:23:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"CI: Upload HPC-enabled binaries to separate name\n\nPreviously, we were inadvertently uploading the HPC-enabled binaries and the\nnon-HPC-enabled binaries to the same name (`dist-tests-${{ matrix.os }}`). This\nis very dangerous, as this risks the two artifacts clobbering each other.\nMoreover, `actions/upload-artifact@v4` makes this a hard error, so we now have\nno choice but to disambiguate the artifact names.","shortMessageHtmlLink":"CI: Upload HPC-enabled binaries to separate name"}},{"before":null,"after":"413d64b3592cd45e0e344588806898044af20ef3","ref":"refs/heads/T2117-upgrade-actions-versions","pushedAt":"2024-09-09T13:34:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://github.com/avatars/u/2364661?s=80&v=4"},"commit":{"message":"CI: Upgrade {upload,download}-artifact actions to v4\n\nFixes #2117.","shortMessageHtmlLink":"CI: Upgrade {upload,download}-artifact actions to v4"}},{"before":"57c5790b7e54de3e70f3187e301b22bbdb44d9f8","after":"d33daa0bfda9baa8dc96819e1535d553a687bc78","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-07T02:11:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Revert the temporary version bump; the CI succeeded.","shortMessageHtmlLink":"Revert the temporary version bump; the CI succeeded."}},{"before":"82362b57bd276660ddd02ceda300aea63e7bbd9b","after":"57c5790b7e54de3e70f3187e301b22bbdb44d9f8","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-06T01:23:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Bump the version to \"1.2.1.50\" temporarily for testing purposes.\n\n(as a precaution, use a version number that is not expected to ever\nappear for real)","shortMessageHtmlLink":"Bump the version to \"1.2.1.50\" temporarily for testing purposes."}},{"before":"001a23279171729acbacde4fead409b2e9a9efc6","after":"82362b57bd276660ddd02ceda300aea63e7bbd9b","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-05T23:12:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Mention saw-script #2103 (cabal list-bin -v0) as suggested.","shortMessageHtmlLink":"Mention saw-script <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483848815\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2103\" data-hovercard-type=\"issue\" data-hovercard-url=\"/GaloisInc/saw-script/issues/2103/hovercard\" href=\"https://github.com/GaloisInc/saw-script/issues/2103\">#2103</a> (cabal list-bin -v0) as suggested."}},{"before":"a1a98142ec92f1c550f7cda8a03a83ffacbcd9dd","after":"001a23279171729acbacde4fead409b2e9a9efc6","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-05T21:56:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Search for the right thing. derp","shortMessageHtmlLink":"Search for the right thing. derp"}},{"before":"841ef565bee3541e8ebf3610a5cfd04d36a6a6a3","after":"a1a98142ec92f1c550f7cda8a03a83ffacbcd9dd","ref":"refs/heads/2114-coverage-version-bump","pushedAt":"2024-09-05T21:06:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"},"commit":{"message":"Rework in light of additional considerations.\n\n(also make a couple other pieces of the script more robust)","shortMessageHtmlLink":"Rework in light of additional considerations."}},{"before":"95ebf3de8cd847d7d904ff500ef41038c0cff43f","after":null,"ref":"refs/heads/2049-print-arrays","pushedAt":"2024-09-05T20:57:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://github.com/avatars/u/120141909?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxOToyMzoxOS4wMDAwMDBazwAAAAS6FZDL","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxOToyMzoxOS4wMDAwMDBazwAAAAS6FZDL","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNVQyMDo1NzowMS4wMDAwMDBazwAAAASuSr7Z"}},"title":"Activity · GaloisInc/saw-script"}