{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":72368050,"defaultBranch":"main","name":"dune","ownerLogin":"ocaml","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-30T18:42:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1841483?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716918144.0","currentOid":""},"activityList":{"items":[{"before":"874f6dd7f3ae10ebd8b4126e1fbe8a05bf449c37","after":"169a3c51cb13d09cbe3e6310b08e323cf3170d1a","ref":"refs/heads/toolchains","pushedAt":"2024-06-03T12:46:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"emillon","name":"Etienne Millon","path":"/emillon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/496345?s=80&v=4"},"commit":{"message":"ci: only the static binary is needed. (#10604)\n\nSigned-off-by: Alpha Issiaga DIALLO ","shortMessageHtmlLink":"ci: only the static binary is needed. (#10604)"}},{"before":"93e34f0fc85e44f365a6cf8a4bff8a48893cd7f9","after":"7fceec82a6aff14e64abca7fcdb4cfa6e3a52f1a","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T10:04:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 034e352f5cde97e6866e44e29815da917d022e16","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 0…"}},{"before":"898f4d2bda8806ab298001fb070a739913663dbf","after":"93e34f0fc85e44f365a6cf8a4bff8a48893cd7f9","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T10:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 034e352f5cde97e6866e44e29815da917d022e16","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 0…"}},{"before":"ecb3c9f5c538d2b566eddd440db30a98f6c4ca9b","after":"898f4d2bda8806ab298001fb070a739913663dbf","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T10:00:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 034e352f5cde97e6866e44e29815da917d022e16","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 03…"}},{"before":"ed13e6305b4bcbd260d35135c43d85375020e2c3","after":"ecb3c9f5c538d2b566eddd440db30a98f6c4ca9b","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T09:58:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for 034e352f5cde97e6866e44e29815da917d022e16","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}},{"before":"e3f03575e981ffebd0daf866366ecb6ac57f67de","after":"034e352f5cde97e6866e44e29815da917d022e16","ref":"refs/heads/main","pushedAt":"2024-05-31T09:45:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"emillon","name":"Etienne Millon","path":"/emillon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/496345?s=80&v=4"},"commit":{"message":"fix(mdx): link mdx binary with byte_complete (#10586)\n\nSigned-off-by: Antonio Nuno Monteiro \r\nSigned-off-by: Etienne Millon \r\nCo-authored-by: Etienne Millon ","shortMessageHtmlLink":"fix(mdx): link mdx binary with byte_complete (#10586)"}},{"before":"848e499758bce8a4238c45db4e0b5e3ebdaf4457","after":"ed13e6305b4bcbd260d35135c43d85375020e2c3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T08:20:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e3f03575e981ffebd0daf866366ecb6ac57f67de","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e…"}},{"before":"980f5cf5ad59f680971175ea3f56c36dbee30c93","after":"848e499758bce8a4238c45db4e0b5e3ebdaf4457","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T08:20:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e3f03575e981ffebd0daf866366ecb6ac57f67de","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e…"}},{"before":"401cd0e9a5f32788fef41cb88a29be1d862bd68e","after":"980f5cf5ad59f680971175ea3f56c36dbee30c93","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T08:17:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for e3f03575e981ffebd0daf866366ecb6ac57f67de","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for e3…"}},{"before":"4d553b9bc5f0d4d7ca062ce74339df47c9f9d95d","after":"401cd0e9a5f32788fef41cb88a29be1d862bd68e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-31T08:14:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for e3f03575e981ffebd0daf866366ecb6ac57f67de","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}},{"before":"e74efa6d4dd15e41f5f652878f72c9945c334008","after":"e3f03575e981ffebd0daf866366ecb6ac57f67de","ref":"refs/heads/main","pushedAt":"2024-05-31T08:03:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"Merge pull request #10602 from ejgallego/install_glob\n\n[coq] [fix] Install .glob files","shortMessageHtmlLink":"Merge pull request #10602 from ejgallego/install_glob"}},{"before":"a919b48893ff7247a3f97f14a8776c6270da7360","after":"4d553b9bc5f0d4d7ca062ce74339df47c9f9d95d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T14:43:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e74efa6d4dd15e41f5f652878f72c9945c334008","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e…"}},{"before":"319f934d1b3ee2c071bd8d74449a6a1a4253caff","after":"a919b48893ff7247a3f97f14a8776c6270da7360","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T14:42:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e74efa6d4dd15e41f5f652878f72c9945c334008","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for e…"}},{"before":"dc51e098fe09064cb50ab6d625684a49ee75e59a","after":"319f934d1b3ee2c071bd8d74449a6a1a4253caff","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T14:39:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for e74efa6d4dd15e41f5f652878f72c9945c334008","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for e7…"}},{"before":"20b9c918af6e4e3af2ba8997b8e62706c3a465c5","after":"dc51e098fe09064cb50ab6d625684a49ee75e59a","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T14:36:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for e74efa6d4dd15e41f5f652878f72c9945c334008","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}},{"before":"72c550565b64fb8d444246a5ee3c3bd6e5924f70","after":"e74efa6d4dd15e41f5f652878f72c9945c334008","ref":"refs/heads/main","pushedAt":"2024-05-29T14:24:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"emillon","name":"Etienne Millon","path":"/emillon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/496345?s=80&v=4"},"commit":{"message":"test: add a repro for #10582 (#10599)\n\n* test: add a repro for #10582\r\n\r\nSigned-off-by: Masayuki Takeda \r\nCo-authored-by: Antonio Nuno Monteiro \r\nCo-authored-by: Etienne Millon ","shortMessageHtmlLink":"test: add a repro for #10582 (#10599)"}},{"before":"8ea394f3562bf68c3b0e44f627da879fa414823d","after":"20b9c918af6e4e3af2ba8997b8e62706c3a465c5","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T10:02:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 72c550565b64fb8d444246a5ee3c3bd6e5924f70","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7…"}},{"before":"23738491cb75d7bf58abcf3799ad956f1b5f5ee2","after":"8ea394f3562bf68c3b0e44f627da879fa414823d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T10:02:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 72c550565b64fb8d444246a5ee3c3bd6e5924f70","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7…"}},{"before":"a532b5a7432611d9c05db50fa3d0bb08baa10efb","after":"23738491cb75d7bf58abcf3799ad956f1b5f5ee2","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T09:58:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 72c550565b64fb8d444246a5ee3c3bd6e5924f70","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 72…"}},{"before":"ef537087ab074df36317c5d8115a211dadb0dff5","after":"a532b5a7432611d9c05db50fa3d0bb08baa10efb","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T09:56:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for 72c550565b64fb8d444246a5ee3c3bd6e5924f70","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}},{"before":"86b8a6d45d1ce56d26009b782111bcee89bb8f99","after":"72c550565b64fb8d444246a5ee3c3bd6e5924f70","ref":"refs/heads/main","pushedAt":"2024-05-29T09:46:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Leonidas-from-XIV","name":"Marek Kubica","path":"/Leonidas-from-XIV","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121531?s=80&v=4"},"commit":{"message":"Reproduction case to show that installing deps to the stdlib breaks (#10565)\n\nSigned-off-by: Marek Kubica ","shortMessageHtmlLink":"Reproduction case to show that installing deps to the stdlib breaks (#…"}},{"before":"278397b807887f7fc87d009cf8640f330b4aabb9","after":"ef537087ab074df36317c5d8115a211dadb0dff5","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T05:18:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 86b8a6d45d1ce56d26009b782111bcee89bb8f99","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 8…"}},{"before":"0a1ec9b0d9c1f10dc572244437aa5e6a29731fbf","after":"278397b807887f7fc87d009cf8640f330b4aabb9","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T05:18:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 86b8a6d45d1ce56d26009b782111bcee89bb8f99","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 8…"}},{"before":"99a34667335fba24701aa7ae6dec9c0c2801013e","after":"0a1ec9b0d9c1f10dc572244437aa5e6a29731fbf","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T05:14:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 86b8a6d45d1ce56d26009b782111bcee89bb8f99","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 86…"}},{"before":"97cbeb42374453cfc7be23844eabcd537808a0a9","after":"99a34667335fba24701aa7ae6dec9c0c2801013e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T05:12:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for 86b8a6d45d1ce56d26009b782111bcee89bb8f99","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}},{"before":"7af2a84ea1bf42c3567bead7e2744600e90097e4","after":"86b8a6d45d1ce56d26009b782111bcee89bb8f99","ref":"refs/heads/main","pushedAt":"2024-05-29T05:02:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rgrinberg","name":"Rudi Grinberg","path":"/rgrinberg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/139003?s=80&v=4"},"commit":{"message":"fix: don't take build lock for `coq top --no-build` (#10547)\n\nSigned-off-by: Zongyuan Liu ","shortMessageHtmlLink":"fix: don't take build lock for coq top --no-build (#10547)"}},{"before":"e0ab443a0799d753470a71f33960e1a06c8c60e1","after":"97cbeb42374453cfc7be23844eabcd537808a0a9","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T00:53:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7af2a84ea1bf42c3567bead7e2744600e90097e4","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7…"}},{"before":"70d5accd327d05a28a776d81105d7fedf2b42b1d","after":"e0ab443a0799d753470a71f33960e1a06c8c60e1","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T00:53:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7af2a84ea1bf42c3567bead7e2744600e90097e4","shortMessageHtmlLink":"add Synthetic Benchmark (customSmallerIsBetter) benchmark result for 7…"}},{"before":"0b252ffd9a4050ac28b1bb00e3bbc90b7bc5c886","after":"70d5accd327d05a28a776d81105d7fedf2b42b1d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T00:49:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 7af2a84ea1bf42c3567bead7e2744600e90097e4","shortMessageHtmlLink":"add Melange Benchmark (customSmallerIsBetter) benchmark result for 7a…"}},{"before":"2600cace6bee8a9576b00f7a57a53b5258168a89","after":"0b252ffd9a4050ac28b1bb00e3bbc90b7bc5c886","ref":"refs/heads/gh-pages","pushedAt":"2024-05-29T00:47:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark result for 7af2a84ea1bf42c3567bead7e2744600e90097e4","shortMessageHtmlLink":"add Synthetic Watch Benchmark (customSmallerIsBetter) benchmark resul…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWu69pAA","startCursor":null,"endCursor":null}},"title":"Activity · ocaml/dune"}