{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":680192648,"defaultBranch":"main","name":"rsdd-ocaml","ownerLogin":"neuppl","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-18T15:07:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/95656564?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1696526300.0","currentOid":""},"activityList":{"items":[{"before":"f4a339acccde59656c6e310928207589e6c28b56","after":"a94d78c69b912c118c048365c9a88a65fb0f84eb","ref":"refs/heads/main","pushedAt":"2023-10-25T21:06:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add CHANGELOG file","shortMessageHtmlLink":"Add CHANGELOG file"}},{"before":"7a32c21e8d33a610ba2de1d78b4786f7a946c2d8","after":"f4a339acccde59656c6e310928207589e6c28b56","ref":"refs/heads/main","pushedAt":"2023-10-07T16:35:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"add myself as maintainer","shortMessageHtmlLink":"add myself as maintainer"}},{"before":"e3711a8d59a761704784b99428106ff92f87a997","after":"7a32c21e8d33a610ba2de1d78b4786f7a946c2d8","ref":"refs/heads/main","pushedAt":"2023-10-06T17:35:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Remove (now-unneeded) `x-ci-accept-failures`","shortMessageHtmlLink":"Remove (now-unneeded) <code>x-ci-accept-failures</code>"}},{"before":"2627beada56e1443e67041f404528b28e88951b0","after":"e3711a8d59a761704784b99428106ff92f87a997","ref":"refs/heads/main","pushedAt":"2023-10-05T17:17:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Remove redundant `dune-project` constraint, use template for `z-ci-accept-failures`","shortMessageHtmlLink":"Remove redundant <code>dune-project</code> constraint, use template for `z-ci-ac…"}},{"before":"ccbe6edc1d0f64bfb9e8fd74197daf7d3df91cb5","after":null,"ref":"refs/heads/rewrite-i64","pushedAt":"2023-10-05T17:11:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"9c021242aeeb4de08030d84bfb54f69eead22c39","after":"2627beada56e1443e67041f404528b28e88951b0","ref":"refs/heads/main","pushedAt":"2023-10-05T17:11:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Replace `u64` with `i64` in client-facing code, force conversions (#6)","shortMessageHtmlLink":"Replace <code>u64</code> with <code>i64</code> in client-facing code, force conversions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1926720287\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd-ocaml/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd-ocaml/pull/6/hovercard\" href=\"https://github.com/neuppl/rsdd-ocaml/pull/6\">#6</a>)"}},{"before":null,"after":"ccbe6edc1d0f64bfb9e8fd74197daf7d3df91cb5","ref":"refs/heads/rewrite-i64","pushedAt":"2023-10-04T17:59:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Replace most `u64`s with `i64`, avoid casting","shortMessageHtmlLink":"Replace most <code>u64</code>s with <code>i64</code>, avoid casting"}},{"before":"fc2965dac9a63c061445a3e6e493bcac9e3e053d","after":"9c021242aeeb4de08030d84bfb54f69eead22c39","ref":"refs/heads/main","pushedAt":"2023-10-04T17:51:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix bug with `bdd_meu` calling `bb` instead","shortMessageHtmlLink":"Fix bug with <code>bdd_meu</code> calling <code>bb</code> instead"}},{"before":"1a055ae89d325351e3b6c704a250a76fd6d9439a","after":null,"ref":"refs/tags/0.1.0-alpha","pushedAt":"2023-10-04T17:24:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"6e6a1b0192c6f31ddee4990ce70b16baebf502ab","after":"fc2965dac9a63c061445a3e6e493bcac9e3e053d","ref":"refs/heads/main","pushedAt":"2023-10-04T17:24:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Make `dune` constraint consistent\n\nRef: https://github.com/ocaml/opam-repository/pull/24319#discussion_r1345907233","shortMessageHtmlLink":"Make <code>dune</code> constraint consistent"}},{"before":"9bb86e392e04e8455f8d6088efa3f1999ee11830","after":"6e6a1b0192c6f31ddee4990ce70b16baebf502ab","ref":"refs/heads/main","pushedAt":"2023-10-04T17:21:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"8fc783e8b2142aff3b149d8b3579beb5a6499d9f","after":null,"ref":"refs/heads/wmc","pushedAt":"2023-09-20T18:57:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"}},{"before":"9749c5e419637ec711a7954b8b50bf4038998a98","after":"9bb86e392e04e8455f8d6088efa3f1999ee11830","ref":"refs/heads/main","pushedAt":"2023-09-20T00:59:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add `.ocamlformat`, run `dune fmt`","shortMessageHtmlLink":"Add <code>.ocamlformat</code>, run <code>dune fmt</code>"}},{"before":"3d3c2724da2ce8dd989c1c0e39b90028663cd8f2","after":"9749c5e419637ec711a7954b8b50bf4038998a98","ref":"refs/heads/main","pushedAt":"2023-09-20T00:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Bump rsdd to `1613459`","shortMessageHtmlLink":"Bump rsdd to <code>1613459</code>"}},{"before":"2698ca384e112ee89e477d9a735777bfc59fae97","after":"3d3c2724da2ce8dd989c1c0e39b90028663cd8f2","ref":"refs/heads/main","pushedAt":"2023-09-17T13:48:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"7fe23391e7bc89bc71afc46779631ddeece40543","after":null,"ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T16:41:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"19b2181f98b68dc3ea20eb5164a667f2d84cdeeb","after":"2698ca384e112ee89e477d9a735777bfc59fae97","ref":"refs/heads/main","pushedAt":"2023-09-14T16:41:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add WMC for `RealSemiring`, change `VarLabel` return value (#4)\n\nCo-authored-by: Minsung Cho <minsung@ccs.neu.edu>","shortMessageHtmlLink":"Add WMC for <code>RealSemiring</code>, change <code>VarLabel</code> return value (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1896942748\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd-ocaml/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd-ocaml/pull/4/hovercard\" href=\"https://github.com/neuppl/rsdd-ocaml/pull/4\">#4</a>)"}},{"before":"79c743580132783926aabacb6f7a612a1eac1547","after":"19b2181f98b68dc3ea20eb5164a667f2d84cdeeb","ref":"refs/heads/main","pushedAt":"2023-09-14T16:40:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"CI: enable `dune-cache` (#3)\n\nI don't think this will cut down on all of the CI build time issues (esp. since much of it is the tooling to build the compiler itself), but this should help. Only concern is if the cache has issues re: bumping versions of RSDD, but I'll keep that in mind (and revert this when necessary).","shortMessageHtmlLink":"CI: enable <code>dune-cache</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1895389820\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd-ocaml/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd-ocaml/pull/3/hovercard\" href=\"https://github.com/neuppl/rsdd-ocaml/pull/3\">#3</a>)"}},{"before":null,"after":"7fe23391e7bc89bc71afc46779631ddeece40543","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T16:39:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"run lint","shortMessageHtmlLink":"run lint"}},{"before":"7fe23391e7bc89bc71afc46779631ddeece40543","after":null,"ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T12:57:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"}},{"before":"19b2181f98b68dc3ea20eb5164a667f2d84cdeeb","after":"79c743580132783926aabacb6f7a612a1eac1547","ref":"refs/heads/main","pushedAt":"2023-09-14T12:57:36.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"Merge pull request #1 from neuppl/minsung/wmc\n\nNew `WmcParams` in `RealSemiring`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1889435927\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd-ocaml/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd-ocaml/pull/1/hovercard\" href=\"https://github.com/neuppl/rsdd-ocaml/pull/1\">#1</a> from neuppl/minsung/wmc"}},{"before":"e612bfb60e56ef28b984919d31e953fc23be5e56","after":"7fe23391e7bc89bc71afc46779631ddeece40543","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T12:38:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"run lint","shortMessageHtmlLink":"run lint"}},{"before":"6b6f134c894dbd3d8f521b567d1f7f637158a901","after":"e612bfb60e56ef28b984919d31e953fc23be5e56","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T02:01:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"Merge branch 'minsung/wmc' of https://github.com/neuppl/rsdd-ocaml into minsung/wmc","shortMessageHtmlLink":"Merge branch 'minsung/wmc' of <a href=\"https://github.com/neuppl/rsdd-ocaml\">https://github.com/neuppl/rsdd-ocaml</a> in…"}},{"before":"ae80cbb7644c94756e81071ff5f0876edd90faff","after":"6b6f134c894dbd3d8f521b567d1f7f637158a901","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T00:13:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Merge branch 'main' into minsung/wmc","shortMessageHtmlLink":"Merge branch 'main' into minsung/wmc"}},{"before":"f042b9618406b36946b49f146fefc458b936f3a8","after":null,"ref":"refs/heads/ci-dune-cache","pushedAt":"2023-09-14T00:13:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"}},{"before":"9d21a6b518b2b0dee44d851d6a1d6fcedf8d0fbf","after":"19b2181f98b68dc3ea20eb5164a667f2d84cdeeb","ref":"refs/heads/main","pushedAt":"2023-09-14T00:13:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"CI: enable `dune-cache` (#3)\n\nI don't think this will cut down on all of the CI build time issues (esp. since much of it is the tooling to build the compiler itself), but this should help. Only concern is if the cache has issues re: bumping versions of RSDD, but I'll keep that in mind (and revert this when necessary).","shortMessageHtmlLink":"CI: enable <code>dune-cache</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1895389820\" data-permission-text=\"Title is private\" data-url=\"https://github.com/neuppl/rsdd-ocaml/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/neuppl/rsdd-ocaml/pull/3/hovercard\" href=\"https://github.com/neuppl/rsdd-ocaml/pull/3\">#3</a>)"}},{"before":"efcad025df1b93a807e9a0782e88118de82217db","after":"ae80cbb7644c94756e81071ff5f0876edd90faff","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T00:09:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Fix typo","shortMessageHtmlLink":"Fix typo"}},{"before":"28d78435446e66978eed6d4a1ded0216257667c0","after":"efcad025df1b93a807e9a0782e88118de82217db","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-14T00:02:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Merge branch 'main' into minsung/wmc","shortMessageHtmlLink":"Merge branch 'main' into minsung/wmc"}},{"before":"31e07b41e24af08d55fc48f0390929355732228d","after":"28d78435446e66978eed6d4a1ded0216257667c0","ref":"refs/heads/minsung/wmc","pushedAt":"2023-09-13T23:54:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"minsungc","name":"Minsung Cho","path":"/minsungc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12549774?s=80&v=4"},"commit":{"message":"readd bdd_wmc","shortMessageHtmlLink":"readd bdd_wmc"}},{"before":"38f7aea133c948fcf6e475d3e42caa0eaec5946a","after":"f042b9618406b36946b49f146fefc458b936f3a8","ref":"refs/heads/ci-dune-cache","pushedAt":"2023-09-13T23:40:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mattxwang","name":"Matt Wang","path":"/mattxwang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14893287?s=80&v=4"},"commit":{"message":"Add to Rust CI (intentionally re-triggering cache)","shortMessageHtmlLink":"Add to Rust CI (intentionally re-triggering cache)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yNVQyMTowNjo1Ny4wMDAwMDBazwAAAAOf3dsZ","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yNVQyMTowNjo1Ny4wMDAwMDBazwAAAAOf3dsZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0xM1QyMzo0MDoyOC4wMDAwMDBazwAAAAOAH3lm"}},"title":"Activity · neuppl/rsdd-ocaml"}