{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":80283805,"defaultBranch":"master","name":"dreal4","ownerLogin":"dreal","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-01-28T12:42:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7238525?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717887081.0","currentOid":""},"activityList":{"items":[{"before":"b6fabcf4fa8081934725d3f7918f515cd4c0f9d2","after":"f93bdcc26b62abdcc30ad7de6046729bb48016b9","ref":"refs/heads/master","pushedAt":"2023-12-23T07:38:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"soonhokong","name":"Soonho Kong","path":"/soonhokong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/403281?s=80&v=4"},"commit":{"message":"bazel(tools/dreal.bzl): Remove hdrs from dreal_cc_binary","shortMessageHtmlLink":"bazel(tools/dreal.bzl): Remove hdrs from dreal_cc_binary"}},{"before":"94b5aa8243071e26a5c51df3ab693cc47342b93b","after":"b6fabcf4fa8081934725d3f7918f515cd4c0f9d2","ref":"refs/heads/master","pushedAt":"2023-09-28T22:50:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"soonhokong","name":"Soonho Kong","path":"/soonhokong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/403281?s=80&v=4"},"commit":{"message":"github(workflows/ubuntu.yml): Remove clang-12\n\n\"As per our software support policy, we are supporting only 3 latest\nversions of clang.\" - Github Action","shortMessageHtmlLink":"github(workflows/ubuntu.yml): Remove clang-12"}},{"before":"2c5b118e8e67317d35d8674c04ab113319368818","after":"94b5aa8243071e26a5c51df3ab693cc47342b93b","ref":"refs/heads/master","pushedAt":"2023-07-24T05:42:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"soonhokong","name":"Soonho Kong","path":"/soonhokong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/403281?s=80&v=4"},"commit":{"message":"notebook: Update Colab notebook\n\nAs Google Colab is using Ubuntu-22.04.","shortMessageHtmlLink":"notebook: Update Colab notebook"}},{"before":"40aaf93735d919053b0166e09bbd310a51f9f108","after":"2c5b118e8e67317d35d8674c04ab113319368818","ref":"refs/heads/master","pushedAt":"2023-04-11T04:01:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"soonhokong","name":"Soonho Kong","path":"/soonhokong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/403281?s=80&v=4"},"commit":{"message":"github: Retire ubuntu-18.04, use 22.04 for common checks","shortMessageHtmlLink":"github: Retire ubuntu-18.04, use 22.04 for common checks"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD0MhoQgA","startCursor":null,"endCursor":null}},"title":"Activity · dreal/dreal4"}