{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":31113420,"defaultBranch":"master","name":"seahorn.github.io","ownerLogin":"seahorn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-02-21T02:52:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11098044?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715646177.0","currentOid":""},"activityList":{"items":[{"before":"406604c214611242bec1be892f57b9c2ecd86d6b","after":null,"ref":"refs/heads/dependabot/bundler/nokogiri-1.16.5","pushedAt":"2024-05-14T00:22:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"426b8942be200e8f0871b6a7823f508736d66009","after":"8da780155618d11f8cd22c6654066792cf228c5a","ref":"refs/heads/master","pushedAt":"2024-05-14T00:22:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.16.2 to 1.16.5\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.16.2 to 1.16.5.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.16.2...v1.16.5)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.16.2 to 1.16.5"}},{"before":null,"after":"406604c214611242bec1be892f57b9c2ecd86d6b","ref":"refs/heads/dependabot/bundler/nokogiri-1.16.5","pushedAt":"2024-05-13T23:38:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.16.2 to 1.16.5\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.16.2 to 1.16.5.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.16.2...v1.16.5)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.16.2 to 1.16.5"}},{"before":"9bca535e0fef021bf4c96583b95f0e01785da742","after":null,"ref":"refs/heads/dependabot/bundler/nokogiri-1.16.2","pushedAt":"2024-02-06T21:05:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"91a61c532f09305b72a6b203ef17523a9a6e480a","after":"426b8942be200e8f0871b6a7823f508736d66009","ref":"refs/heads/master","pushedAt":"2024-02-06T21:05:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.14.3 to 1.16.2\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.14.3 to 1.16.2.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.14.3...v1.16.2)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.14.3 to 1.16.2"}},{"before":null,"after":"9bca535e0fef021bf4c96583b95f0e01785da742","ref":"refs/heads/dependabot/bundler/nokogiri-1.16.2","pushedAt":"2024-02-06T03:31:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.14.3 to 1.16.2\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.14.3 to 1.16.2.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.14.3...v1.16.2)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.14.3 to 1.16.2"}},{"before":"fb62b8a893a06857a13db48b2439252814557f51","after":"91a61c532f09305b72a6b203ef17523a9a6e480a","ref":"refs/heads/master","pushedAt":"2023-09-05T18:30:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"feat: blog posts on loop unrolling and alignment","shortMessageHtmlLink":"feat: blog posts on loop unrolling and alignment"}},{"before":"3f307b5f00f82bc53ac7ef325385d353af2363bf","after":"fb62b8a893a06857a13db48b2439252814557f51","ref":"refs/heads/master","pushedAt":"2023-09-05T18:30:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"feat: add blog posts","shortMessageHtmlLink":"feat: add blog posts"}},{"before":"c19fb1fc5481fa8816efd18d22441950d862bb40","after":"3f307b5f00f82bc53ac7ef325385d353af2363bf","ref":"refs/heads/master","pushedAt":"2023-07-21T19:25:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"caballa","name":"Jorge Navas","path":"/caballa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5025780?s=80&v=4"},"commit":{"message":"typos","shortMessageHtmlLink":"typos"}},{"before":null,"after":"b7565cfade375008f18974d3e8ea36b582daeb1b","ref":"refs/heads/typo","pushedAt":"2023-07-20T14:39:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"igcontreras","name":null,"path":"/igcontreras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17045232?s=80&v=4"},"commit":{"message":"typos","shortMessageHtmlLink":"typos"}},{"before":"1ae49274a1c6e475355bd32ab3b0d405a6df561c","after":"c19fb1fc5481fa8816efd18d22441950d862bb40","ref":"refs/heads/master","pushedAt":"2023-07-14T14:07:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"feat: add rust blog posts","shortMessageHtmlLink":"feat: add rust blog posts"}},{"before":"173ce6e8d3318af9761e03592845a8f913c29b92","after":"1ae49274a1c6e475355bd32ab3b0d405a6df561c","ref":"refs/heads/master","pushedAt":"2023-07-14T13:35:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"fix: closed list tag","shortMessageHtmlLink":"fix: closed list tag"}},{"before":"528b0fcaba11065038e4417cd6a005602deb1aea","after":null,"ref":"refs/heads/dependabot/bundler/nokogiri-1.14.3","pushedAt":"2023-04-12T20:57:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"7dbb85b1cff90244c1d819fdff1ba6fe20f3a8bc","after":"173ce6e8d3318af9761e03592845a8f913c29b92","ref":"refs/heads/master","pushedAt":"2023-04-12T20:56:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.13.10 to 1.14.3\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.13.10 to 1.14.3.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.13.10...v1.14.3)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.13.10 to 1.14.3"}},{"before":null,"after":"528b0fcaba11065038e4417cd6a005602deb1aea","ref":"refs/heads/dependabot/bundler/nokogiri-1.14.3","pushedAt":"2023-04-12T05:52:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump nokogiri from 1.13.10 to 1.14.3\n\nBumps [nokogiri](https://github.com/sparklemotion/nokogiri) from 1.13.10 to 1.14.3.\n- [Release notes](https://github.com/sparklemotion/nokogiri/releases)\n- [Changelog](https://github.com/sparklemotion/nokogiri/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/sparklemotion/nokogiri/compare/v1.13.10...v1.14.3)\n\n---\nupdated-dependencies:\n- dependency-name: nokogiri\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump nokogiri from 1.13.10 to 1.14.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESO86zAA","startCursor":null,"endCursor":null}},"title":"Activity · seahorn/seahorn.github.io"}