{"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://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723207355.0","currentOid":""},"activityList":{"items":[{"before":"395f8c1e4873a5e2c3fb9dc1a0a4a3b8b6f743ef","after":"a72362a13c408cd79187a9b0e0ac48b892456877","ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-09T13:00:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8, drop 9.2","shortMessageHtmlLink":"CI: Test GHC 9.8, drop 9.2"}},{"before":null,"after":"395f8c1e4873a5e2c3fb9dc1a0a4a3b8b6f743ef","ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-09T12:42:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8, drop 9.2","shortMessageHtmlLink":"CI: Test GHC 9.8, drop 9.2"}},{"before":"ff972487336611f712fe96e02767f1ae374dda54","after":null,"ref":"refs/heads/T2086-docker-compose-v2","pushedAt":"2024-08-08T14:10:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"ee655b44028c8431eb8b0841c60f7ae0ac942918","after":"c566d07080e1a45eaa451a3e05a90878bde3f828","ref":"refs/heads/master","pushedAt":"2024-08-08T14:10:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use Docker Compose v2 (#2087)\n\nThis requires the following changes:\r\n\r\n* In v2, one invokes it as `docker compose` rather than `docker-compose`.\r\n* For whatever reason, `docker compose pull` will produce the following error on\r\n  `s2nTests/docker-compose.yml`:\r\n\r\n  ```\r\n  3 errors occurred:\r\n          * Error response from daemon: pull access denied for awslc, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\r\n          * Error response from daemon: pull access denied for blst, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\r\n          * Error response from daemon: pull access denied for s2n, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\r\n  ```\r\n\r\n  This is because the images are locally buildable. Some searching uncovered\r\n  https://github.com/docker/compose/issues/8805, which reveals that a\r\n  workaround is to use `docker compose pull --ignore-buildable`. I have no idea\r\n  why the behavior changed in this way from v1 to v2, but oh well. I've applied\r\n  the workaround here.\r\n* The `version` property in `docker-compose.yml` is now deprecated (see the\r\n  documentation here:\r\n  https://docs.docker.com/compose/compose-file/04-version-and-name/) and will\r\n  emit a warning if you attempt to use it. The fix is to delete the `version`\r\n  property entirely.\r\n\r\nFixes #2086.","shortMessageHtmlLink":"CI: Use Docker Compose v2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2454257319\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2087\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2087/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2087\">#2087</a>)"}},{"before":"611d64d35ce8d4e12fd89b08d51b16e716206053","after":"ff972487336611f712fe96e02767f1ae374dda54","ref":"refs/heads/T2086-docker-compose-v2","pushedAt":"2024-08-08T10:38:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use Docker Compose v2\n\nThis requires the following changes:\n\n* In v2, one invokes it as `docker compose` rather than `docker-compose`.\n* For whatever reason, `docker compose pull` will produce the following error on\n  `s2nTests/docker-compose.yml`:\n\n  ```\n  3 errors occurred:\n          * Error response from daemon: pull access denied for awslc, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\n          * Error response from daemon: pull access denied for blst, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\n          * Error response from daemon: pull access denied for s2n, repository does not exist or may require 'docker login': denied: requested access to the resource is denied\n  ```\n\n  This is because the images are locally buildable. Some searching uncovered\n  https://github.com/docker/compose/issues/8805, which reveals that a\n  workaround is to use `docker compose pull --ignore-buildable`. I have no idea\n  why the behavior changed in this way from v1 to v2, but oh well. I've applied\n  the workaround here.\n* The `version` property in `docker-compose.yml` is now deprecated (see the\n  documentation here:\n  https://docs.docker.com/compose/compose-file/04-version-and-name/) and will\n  emit a warning if you attempt to use it. The fix is to delete the `version`\n  property entirely.\n\nFixes #2086.","shortMessageHtmlLink":"CI: Use Docker Compose v2"}},{"before":null,"after":"611d64d35ce8d4e12fd89b08d51b16e716206053","ref":"refs/heads/T2086-docker-compose-v2","pushedAt":"2024-08-07T20:09:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Use Docker Compose v2\n\nFixes #2086.","shortMessageHtmlLink":"CI: Use Docker Compose v2"}},{"before":"f5139382cdec5738456da160ec882933d943cd51","after":null,"ref":"refs/heads/bump-latest-cryptol-submodule-commit","pushedAt":"2024-07-19T17:29:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"125f9a6fc62f0775ed172bd41478ef1c1799d7da","after":"ee655b44028c8431eb8b0841c60f7ae0ac942918","ref":"refs/heads/master","pushedAt":"2024-07-19T17:29:45.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Merge pull request #2079 from GaloisInc/bump-latest-cryptol-submodule-commit\n\nBump to latest `cryptol` submodule commit","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2418923537\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2079\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2079/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2079\">#2079</a> from GaloisInc/bump-latest-cryptol-submodule…"}},{"before":null,"after":"f5139382cdec5738456da160ec882933d943cd51","ref":"refs/heads/bump-latest-cryptol-submodule-commit","pushedAt":"2024-07-19T13:25:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Bump cryptol submodule to bring in changes from GaloisInc/cryptol#1682\n\nThis bumps the `cryptol` submodule to bring in the changes from\nGaloisInc/cryptol#1682, which does not require any other code changes on the\nSAW side.","shortMessageHtmlLink":"Bump cryptol submodule to bring in changes from <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338858351\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/cryptol/issues/1682\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/cryptol/pull/1682/hovercard\" href=\"https://github.com/GaloisInc/cryptol/pull/1682\">GaloisInc/cryptol#1682</a>"}},{"before":"4697041a42b6ba3ab15b10504181206362e54709","after":null,"ref":"refs/heads/crucible-T1225-ArrayToPointer-CastKind","pushedAt":"2024-07-19T13:09:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"352c629856230249da27347cc15acaf25eadd052","after":"125f9a6fc62f0775ed172bd41478ef1c1799d7da","ref":"refs/heads/master","pushedAt":"2024-07-19T13:09:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Bump submodules to bring in changes from GaloisInc/crucible#1225 (#2078)\n\nThis bumps the `crucible` submodule to bring in the changes from\r\nGaloisInc/crucible#1225, which fixes GaloisInc/crucible#1224 on the SAW side.\r\nThis also requires bumping the `cryptol`, `macaw`, and `what4` submodules in\r\norder to construct a consistent build plan with the latest `crucible`.","shortMessageHtmlLink":"Bump submodules to bring in changes from <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2417082103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1225\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1225/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1225\">GaloisInc/crucible#1225</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2417425660\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2078\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2078/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2078\">#2078</a>)"}},{"before":"0a4bf8f766e8a6bfd0bbc6ab23023116d873ccca","after":"25712b3eddf9e117eb5d802fa9e3034d350c7c50","ref":"refs/heads/2071-dholland-positioning","pushedAt":"2024-07-18T23:48:25.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Improve some of the comments.","shortMessageHtmlLink":"Improve some of the comments."}},{"before":null,"after":"4697041a42b6ba3ab15b10504181206362e54709","ref":"refs/heads/crucible-T1225-ArrayToPointer-CastKind","pushedAt":"2024-07-18T21:07:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Bump submodules to bring in changes from GaloisInc/crucible#1225\n\nThis bumps the `crucible` submodule to bring in the changes from\nGaloisInc/crucible#1225, which fixes GaloisInc/crucible#1224 on the SAW side.\nThis also requires bumping the `cryptol`, `macaw`, and `what4` submodules in\norder to construct a consistent build plan with the latest `crucible`.","shortMessageHtmlLink":"Bump submodules to bring in changes from <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2417082103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/crucible/issues/1225\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/crucible/pull/1225/hovercard\" href=\"https://github.com/GaloisInc/crucible/pull/1225\">GaloisInc/crucible#1225</a>"}},{"before":null,"after":"0a4bf8f766e8a6bfd0bbc6ab23023116d873ccca","ref":"refs/heads/2071-dholland-positioning","pushedAt":"2024-07-18T03:27:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Update the literal \"it\" in Interpreter.hs.\n\nWe concluded after discussion that using the more precise position\nfrom the pattern involved is preferable to using PosREPL, even though\nthe name \"it\" is predicated on this coming from the repl.","shortMessageHtmlLink":"Update the literal \"it\" in Interpreter.hs."}},{"before":"b84e896c5e00f905a82c7a3aa3ce3dbf183a782c","after":null,"ref":"refs/heads/dholland-type-command","pushedAt":"2024-07-18T03:23:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"}},{"before":"dd5c35730b3cb1d38c6a0ad4ec2d792ed9bdd1bb","after":"352c629856230249da27347cc15acaf25eadd052","ref":"refs/heads/master","pushedAt":"2024-07-18T03:23:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2074 from GaloisInc/dholland-type-command\n\nHandle plain \":t\" in the repl better","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2414378124\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2074\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2074/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2074\">#2074</a> from GaloisInc/dholland-type-command"}},{"before":"93561477470aa2e93b74930d9cb511f8eacd47ff","after":"b84e896c5e00f905a82c7a3aa3ce3dbf183a782c","ref":"refs/heads/dholland-type-command","pushedAt":"2024-07-17T19:19:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Handle plain \":t\" in the repl better.\n\nPrint a message saying it requires an argument, instead of throwing a\nparse error.","shortMessageHtmlLink":"Handle plain \":t\" in the repl better."}},{"before":"21f5b70a0812b21ebeb94d84a95b2095f2e08945","after":null,"ref":"refs/heads/dholland-simplify","pushedAt":"2024-07-17T19:17:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"}},{"before":"4c8cc3169e2df9b4a1cfdd5ef70c2e7d3574244a","after":"dd5c35730b3cb1d38c6a0ad4ec2d792ed9bdd1bb","ref":"refs/heads/master","pushedAt":"2024-07-17T19:17:53.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2073 from GaloisInc/dholland-simplify\n\nSimplify some somewhat silly code in the repl logic","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2414273031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2073\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2073/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2073\">#2073</a> from GaloisInc/dholland-simplify"}},{"before":null,"after":"93561477470aa2e93b74930d9cb511f8eacd47ff","ref":"refs/heads/dholland-type-command","pushedAt":"2024-07-17T18:58:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Handle plain \":t\" in the repl better.\n\nPrint a message saying it requires an argument, instead of throwing a\nparse error.","shortMessageHtmlLink":"Handle plain \":t\" in the repl better."}},{"before":null,"after":"21f5b70a0812b21ebeb94d84a95b2095f2e08945","ref":"refs/heads/dholland-simplify","pushedAt":"2024-07-17T18:16:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Simplify some somewhat silly code in the repl logic.","shortMessageHtmlLink":"Simplify some somewhat silly code in the repl logic."}},{"before":"70fb0bb2c242b09d03ba37a6c26e2565fa6ac476","after":null,"ref":"refs/heads/2069-dholland-prune-Bind","pushedAt":"2024-07-17T17:07:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"}},{"before":"d3ea36f5a56515c37ebd9d9ef32911ec5206eed3","after":"4c8cc3169e2df9b4a1cfdd5ef70c2e7d3574244a","ref":"refs/heads/master","pushedAt":"2024-07-17T17:07:06.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2070 from GaloisInc/2069-dholland-prune-Bind\n\nRetire the type alias Bind from src/SAWScript/AST.hs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2412254938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2070\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2070/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2070\">#2070</a> from GaloisInc/2069-dholland-prune-Bind"}},{"before":null,"after":"70fb0bb2c242b09d03ba37a6c26e2565fa6ac476","ref":"refs/heads/2069-dholland-prune-Bind","pushedAt":"2024-07-16T23:57:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Retire the type alias Bind from src/SAWScript/AST.hs.\n\nIt's only used in a couple places, and what minor documentation value\nit has is outweighed by having to look it up to see what it means.\nFurthermore it isn't actually part of the AST and doesn't belong with\nit.","shortMessageHtmlLink":"Retire the type alias Bind from src/SAWScript/AST.hs."}},{"before":"e4d9ee2cc2d1ba074c6e6e417737b36ad77c1ddd","after":null,"ref":"refs/heads/2062-improve-build-sh","pushedAt":"2024-07-16T02:05:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"}},{"before":"5288988d8d9f8c7457c6007db3f079f62bc89026","after":"d3ea36f5a56515c37ebd9d9ef32911ec5206eed3","ref":"refs/heads/master","pushedAt":"2024-07-16T02:05:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Merge pull request #2066 from GaloisInc/2062-improve-build-sh\n\nImprovements to build.sh.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2409289474\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/saw-script/issues/2066\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/saw-script/pull/2066/hovercard\" href=\"https://github.com/GaloisInc/saw-script/pull/2066\">#2066</a> from GaloisInc/2062-improve-build-sh"}},{"before":"c0133d782c4c440936b09dd16c76dbc6fcf72921","after":"e4d9ee2cc2d1ba074c6e6e417737b36ad77c1ddd","ref":"refs/heads/2062-improve-build-sh","pushedAt":"2024-07-15T20:43:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Toss the find/sort -g business in favor of cabal list-bin.\n\nAs suggested by Ryan Scott","shortMessageHtmlLink":"Toss the find/sort -g business in favor of cabal list-bin."}},{"before":"3e915e262e22e3f905cfb0485cfd2ef527ac1db6","after":"c0133d782c4c440936b09dd16c76dbc6fcf72921","ref":"refs/heads/2062-improve-build-sh","pushedAt":"2024-07-15T20:42:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Remove comment about the code removed in the previous commit.\n\n(will probably squash these two together)","shortMessageHtmlLink":"Remove comment about the code removed in the previous commit."}},{"before":"a10b21a34e8d83c400d158d9b149bdebe1853296","after":"3e915e262e22e3f905cfb0485cfd2ef527ac1db6","ref":"refs/heads/2062-improve-build-sh","pushedAt":"2024-07-15T20:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Toss the find/sort -g business in favor of cabal list-bin.\n\nAs suggested by Ryan Scott","shortMessageHtmlLink":"Toss the find/sort -g business in favor of cabal list-bin."}},{"before":null,"after":"a10b21a34e8d83c400d158d9b149bdebe1853296","ref":"refs/heads/2062-improve-build-sh","pushedAt":"2024-07-15T17:46:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sauclovian-g","name":"David Holland","path":"/sauclovian-g","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/120141909?s=80&v=4"},"commit":{"message":"Improvements to build.sh.\n\n- Use set -e to stop on error (closes #2062)\n- Use /bin/sh rather than /bin/bash (no reason to depend on bash)\n- Use -print with find (we will _probably_ never run into a find(1)\n  that doesn't -print by default, as that foolishness is mostly\n  consigned to the dustbin of history, but it's still good practice)\n- Add notes for later about the use of sort -g.","shortMessageHtmlLink":"Improvements to build.sh."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAElkZKfAA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/saw-script"}