{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":408585158,"defaultBranch":"develop","name":"HARDENS","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-20T20:07:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727460074.0","currentOid":""},"activityList":{"items":[{"before":"c6ac38958c4dae502b03af49c768191e7e225c7f","after":null,"ref":"refs/heads/146-use-git-lfs","pushedAt":"2024-09-27T18:01:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"}},{"before":"ec6dc843fac1451ed376da2abb57386ffee36788","after":"e24bfdb0b03adc1c3c08c28e86fa63b91ea509c1","ref":"refs/heads/develop","pushedAt":"2024-09-27T18:01:13.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Merge pull request #147 from GaloisInc/146-use-git-lfs\n\nMove PDFs and Keynote files to git lfs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2551712114\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/147\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/147/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/147\">#147</a> from GaloisInc/146-use-git-lfs"}},{"before":"22695660b2b2ed1ec4c603dce80d83eeaf3ffc81","after":"c6ac38958c4dae502b03af49c768191e7e225c7f","ref":"refs/heads/146-use-git-lfs","pushedAt":"2024-09-27T00:02:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Track the remaining files","shortMessageHtmlLink":"Track the remaining files"}},{"before":null,"after":"22695660b2b2ed1ec4c603dce80d83eeaf3ffc81","ref":"refs/heads/146-use-git-lfs","pushedAt":"2024-09-26T23:56:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Move PDFs and Keynote files to git lfs","shortMessageHtmlLink":"Move PDFs and Keynote files to git lfs"}},{"before":"3dac3cbcf367b8c25ccbf4a410f879378e7e0aa3","after":"54255b215c091da1cf6abb70aa18142a75029783","ref":"refs/heads/feature/coverity-and-other-scans","pushedAt":"2024-09-26T23:45:56.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Update the code analysis experiments:","shortMessageHtmlLink":"Update the code analysis experiments:"}},{"before":"a3a88bb05e3eb4f14bca28611878ea61c536e889","after":null,"ref":"refs/heads/140-error-on-slide-29","pushedAt":"2024-09-20T16:47:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"}},{"before":"e7a1ccd6cd4bd2cf345eacdb303315bf16c9d0d3","after":"ec6dc843fac1451ed376da2abb57386ffee36788","ref":"refs/heads/develop","pushedAt":"2024-09-20T16:47:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Merge pull request #145 from GaloisInc/140-error-on-slide-29\n\nFixed figure and all uses across all slides.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539234396\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/145\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/145/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/145\">#145</a> from GaloisInc/140-error-on-slide-29"}},{"before":"e7a1ccd6cd4bd2cf345eacdb303315bf16c9d0d3","after":"a3a88bb05e3eb4f14bca28611878ea61c536e889","ref":"refs/heads/140-error-on-slide-29","pushedAt":"2024-09-20T16:46:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Fixed figure and all uses across all slides.","shortMessageHtmlLink":"Fixed figure and all uses across all slides."}},{"before":null,"after":"e7a1ccd6cd4bd2cf345eacdb303315bf16c9d0d3","ref":"refs/heads/140-error-on-slide-29","pushedAt":"2024-09-20T16:41:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Merge pull request #144 from GaloisInc/143-update-slides-to-include-new-slides-related-to-the-project\n\nUpdates to old and addition of new HARDENS-related slides.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539212950\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/144/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/144\">#144</a> from GaloisInc/143-update-slides-to-include-n…"}},{"before":"5d84c874da816da867a595487a052e80751dd24d","after":null,"ref":"refs/heads/143-update-slides-to-include-new-slides-related-to-the-project","pushedAt":"2024-09-20T16:34:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"}},{"before":"2019b3092d5ad6b1f605d2757d4ca22a8add41df","after":"e7a1ccd6cd4bd2cf345eacdb303315bf16c9d0d3","ref":"refs/heads/develop","pushedAt":"2024-09-20T16:34:28.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Merge pull request #144 from GaloisInc/143-update-slides-to-include-new-slides-related-to-the-project\n\nUpdates to old and addition of new HARDENS-related slides.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539212950\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/144\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/144/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/144\">#144</a> from GaloisInc/143-update-slides-to-include-n…"}},{"before":"2019b3092d5ad6b1f605d2757d4ca22a8add41df","after":"5d84c874da816da867a595487a052e80751dd24d","ref":"refs/heads/143-update-slides-to-include-new-slides-related-to-the-project","pushedAt":"2024-09-20T16:33:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Updates to old and addition of new HARDENS-related slides.","shortMessageHtmlLink":"Updates to old and addition of new HARDENS-related slides."}},{"before":null,"after":"2019b3092d5ad6b1f605d2757d4ca22a8add41df","ref":"refs/heads/143-update-slides-to-include-new-slides-related-to-the-project","pushedAt":"2024-09-20T16:22:39.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Merge pull request #137 from GaloisInc/135-post-release-polishing\n\npost-release polishing","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1556335941\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/137/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/137\">#137</a> from GaloisInc/135-post-release-polishing"}},{"before":"1d43be6c7857bb9f8ba11737b09982c07ce023a2","after":null,"ref":"refs/heads/dockerImage","pushedAt":"2024-09-18T23:34:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"}},{"before":"9d656df77af55afce4a20757b59da051322a802b","after":null,"ref":"refs/heads/135-post-release-polishing","pushedAt":"2024-05-29T22:14:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"}},{"before":"54ac1d87267dff1311111603fa2925bc0197eb1d","after":"2019b3092d5ad6b1f605d2757d4ca22a8add41df","ref":"refs/heads/develop","pushedAt":"2024-05-29T22:14:45.000Z","pushType":"pr_merge","commitsCount":29,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Merge pull request #137 from GaloisInc/135-post-release-polishing\n\npost-release polishing","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1556335941\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/137\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/137/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/137\">#137</a> from GaloisInc/135-post-release-polishing"}},{"before":"3bdaaf22deea3d845b703f818fe5609b84ca1741","after":"9d656df77af55afce4a20757b59da051322a802b","ref":"refs/heads/135-post-release-polishing","pushedAt":"2024-05-29T21:17:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Updated proposal with PROPRIETARY wording removed","shortMessageHtmlLink":"Updated proposal with PROPRIETARY wording removed"}},{"before":"d4fb4c0d94ea09efd981988d72e62db7bd437ec7","after":"3bdaaf22deea3d845b703f818fe5609b84ca1741","ref":"refs/heads/135-post-release-polishing","pushedAt":"2024-05-29T21:00:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Fix infinite loop with no sleep in the posix implementation. This speeds up the test runs 5x, and uses significantly less CPU.","shortMessageHtmlLink":"Fix infinite loop with no sleep in the posix implementation. This spe…"}},{"before":"b8fe55047215f9bddd0079de01e66516cd066988","after":null,"ref":"refs/heads/135-post-release-polishing-build-fixes","pushedAt":"2024-04-18T17:46:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"}},{"before":"c2ed18eb2f6692e414868d2b0eb3802a8f5b97ae","after":"d4fb4c0d94ea09efd981988d72e62db7bd437ec7","ref":"refs/heads/135-post-release-polishing","pushedAt":"2024-04-18T17:46:46.000Z","pushType":"pr_merge","commitsCount":18,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Merge pull request #138 from GaloisInc/135-post-release-polishing-build-fixes\n\nVarious build fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1578784354\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/HARDENS/issues/138\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/HARDENS/pull/138/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/pull/138\">#138</a> from GaloisInc/135-post-release-polishing-bui…"}},{"before":"cd1c269142f990991182e1a1345c3eda07a376e8","after":"3dac3cbcf367b8c25ccbf4a410f879378e7e0aa3","ref":"refs/heads/feature/coverity-and-other-scans","pushedAt":"2024-04-08T21:34:25.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":"Automated publish: Mon Apr  8 21:34:24 UTC 2024 cd1c269142f990991182e1a1345c3eda07a376e8","shortMessageHtmlLink":"Automated publish: Mon Apr 8 21:34:24 UTC 2024 <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/GaloisInc/HARDENS/commit/cd1c269142f990991182e1a1345c3eda07a376e8/hovercard\" href=\"https://github.com/GaloisInc/HARDENS/commit/cd1c269142f990991182e1a1345c3eda07a376e8\"><tt>cd1c269</tt></a>"}},{"before":"2c483bab1ce056e01d58d5f75b6053dd1d5b2d67","after":"cd1c269142f990991182e1a1345c3eda07a376e8","ref":"refs/heads/feature/coverity-and-other-scans","pushedAt":"2024-04-08T21:33:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Fix branch name","shortMessageHtmlLink":"Fix branch name"}},{"before":"de23e01f508f0cd2137759ae4db14495ff50290e","after":"2c483bab1ce056e01d58d5f75b6053dd1d5b2d67","ref":"refs/heads/feature/coverity-and-other-scans","pushedAt":"2024-04-08T21:29:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Add CPP check","shortMessageHtmlLink":"Add CPP check"}},{"before":"4c6d34d221a8a2713733a98ac72c1c520b34347f","after":null,"ref":"refs/heads/main","pushedAt":"2024-04-05T17:28:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"}},{"before":"b86f58f171c68018849bd572bb3b3e940fab1633","after":"b8fe55047215f9bddd0079de01e66516cd066988","ref":"refs/heads/135-post-release-polishing-build-fixes","pushedAt":"2024-04-05T17:24:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Warn about docker image build, switch to the existing public HARDENS image","shortMessageHtmlLink":"Warn about docker image build, switch to the existing public HARDENS …"}},{"before":null,"after":"de23e01f508f0cd2137759ae4db14495ff50290e","ref":"refs/heads/feature/coverity-and-other-scans","pushedAt":"2024-04-02T22:08:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"Try coverity action","shortMessageHtmlLink":"Try coverity action"}},{"before":"81c461fb619c8e6f488e27f61329543b546450b0","after":"b86f58f171c68018849bd572bb3b3e940fab1633","ref":"refs/heads/135-post-release-polishing-build-fixes","pushedAt":"2024-04-02T17:18:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"podhrmic","name":"Michal Podhradsky","path":"/podhrmic","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2790461?s=80&v=4"},"commit":{"message":"more readable cabal setup","shortMessageHtmlLink":"more readable cabal setup"}},{"before":"85790b707524541ae8096b93f8e5c447f4ef9495","after":"c2ed18eb2f6692e414868d2b0eb3802a8f5b97ae","ref":"refs/heads/135-post-release-polishing","pushedAt":"2023-11-12T17:05:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Corrected a couple of syntax errors in revised Lando specs.","shortMessageHtmlLink":"Corrected a couple of syntax errors in revised Lando specs."}},{"before":"966c5341bec1ae6f0ac5e1ea3355a091136b6cdf","after":"85790b707524541ae8096b93f8e5c447f4ef9495","ref":"refs/heads/135-post-release-polishing","pushedAt":"2023-11-11T03:03:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kiniry","name":"Joseph Kiniry","path":"/kiniry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/478911?s=80&v=4"},"commit":{"message":"Revised all Lando files to eliminate @todos tags with GPT-4's help.","shortMessageHtmlLink":"Revised all Lando files to eliminate <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/todos/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/todos\">@todos</a> tags with GPT-4's help."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yN1QxODowMToxNC4wMDAwMDBazwAAAATC5BMC","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0xMVQwMzowMzozMi4wMDAwMDBazwAAAAOspUkF"}},"title":"Activity · GaloisInc/HARDENS"}