{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":716674563,"defaultBranch":"main","name":"argus","ownerLogin":"cognitive-engineering-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-09T16:22:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/123017608?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726193781.0","currentOid":""},"activityList":{"items":[{"before":"c276dc0d4af9877c54e925525df5f9109b65ff40","after":"df714dc48eb92f1d8dfab631fef61884a8a1b6e6","ref":"refs/heads/gh-pages","pushedAt":"2024-09-13T02:16:32.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":"Deploying to gh-pages from @ cognitive-engineering-lab/argus@bb1f36da71b30fa4e9b7dbef6d0aaa15571a1f39 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ bb1f36d ๐Ÿš€"}},{"before":"109cbfd348bf68a19c1fe91536f95a5c51878f4f","after":"bb1f36da71b30fa4e9b7dbef6d0aaa15571a1f39","ref":"refs/heads/main","pushedAt":"2024-09-13T02:14:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"V0.1.13 (#37)\n\n* Add high-contrast Shiki themes, disable Help Me panel\r\n\r\n* Tree Wrappers at 20% opacity by default\r\n\r\n* Note on bottom up view obligations","shortMessageHtmlLink":"V0.1.13 (#37)"}},{"before":"22c3d75df8c250223e7f11a1a227c55bff2525ce","after":"f0c6c9e1301cd3cfbaace88f9fcda749e4844b7d","ref":"refs/heads/v0.1.13","pushedAt":"2024-09-13T01:47:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Note on bottom up view obligations","shortMessageHtmlLink":"Note on bottom up view obligations"}},{"before":null,"after":"22c3d75df8c250223e7f11a1a227c55bff2525ce","ref":"refs/heads/v0.1.13","pushedAt":"2024-09-13T01:33:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Tree Wrappers at 20% opacity by default","shortMessageHtmlLink":"Tree Wrappers at 20% opacity by default"}},{"before":"efefc116b37e72047b9eac7ce663cf18135c1e03","after":"c276dc0d4af9877c54e925525df5f9109b65ff40","ref":"refs/heads/gh-pages","pushedAt":"2024-09-05T22:30:08.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":"Deploying to gh-pages from @ cognitive-engineering-lab/argus@109cbfd348bf68a19c1fe91536f95a5c51878f4f ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 109cbfd ๐Ÿš€"}},{"before":"bd97c1cc90ef115efc14979e070030fb8ed3d3b9","after":"109cbfd348bf68a19c1fe91536f95a5c51878f4f","ref":"refs/heads/main","pushedAt":"2024-09-05T22:28:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Update Argus tutorial","shortMessageHtmlLink":"Update Argus tutorial"}},{"before":"9ba45fa9c6105030f2e7f89ba45e3fc029b3990b","after":"bd97c1cc90ef115efc14979e070030fb8ed3d3b9","ref":"refs/heads/main","pushedAt":"2024-09-04T03:50:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Supress Iterator bounds, out-of-control highlighting (#36)","shortMessageHtmlLink":"Supress Iterator bounds, out-of-control highlighting (#36)"}},{"before":null,"after":"8bafdaa01854ef7c62e7159e230b3f7e2a9b471f","ref":"refs/heads/v0.1.12","pushedAt":"2024-09-04T03:38:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Supress Iterator bounds, out-of-control highlighting","shortMessageHtmlLink":"Supress Iterator bounds, out-of-control highlighting"}},{"before":"15fbf1ff0670e15de4acbb525fb881f7a3e3ea6f","after":null,"ref":"refs/tags/v0.1.11","pushedAt":"2024-08-30T18:09:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"}},{"before":"53ccfdc9b253334519c122450ccec12f8eeee602","after":"9ba45fa9c6105030f2e7f89ba45e3fc029b3990b","ref":"refs/heads/main","pushedAt":"2024-08-30T18:04:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"CI release action","shortMessageHtmlLink":"CI release action"}},{"before":"15fbf1ff0670e15de4acbb525fb881f7a3e3ea6f","after":null,"ref":"refs/tags/v0.1.11","pushedAt":"2024-08-30T17:20:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"}},{"before":"15fbf1ff0670e15de4acbb525fb881f7a3e3ea6f","after":"53ccfdc9b253334519c122450ccec12f8eeee602","ref":"refs/heads/main","pushedAt":"2024-08-30T17:13:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"CI release action","shortMessageHtmlLink":"CI release action"}},{"before":"15fbf1ff0670e15de4acbb525fb881f7a3e3ea6f","after":null,"ref":"refs/tags/v0.1.11","pushedAt":"2024-08-30T16:21:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"}},{"before":"9fda4b42fd490599afcbce793c1f1a7adbb193ca","after":"15fbf1ff0670e15de4acbb525fb881f7a3e3ea6f","ref":"refs/heads/main","pushedAt":"2024-08-30T16:01:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"README","shortMessageHtmlLink":"README"}},{"before":"4c852ff095c6f76e35fce5ec825934216560218b","after":"efefc116b37e72047b9eac7ce663cf18135c1e03","ref":"refs/heads/gh-pages","pushedAt":"2024-08-30T03:07:52.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":"Deploying to gh-pages from @ cognitive-engineering-lab/argus@9fda4b42fd490599afcbce793c1f1a7adbb193ca ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 9fda4b4 ๐Ÿš€"}},{"before":"34d4b3c8364318ea3b2c7b13ad3840a4cf81e589","after":"9fda4b42fd490599afcbce793c1f1a7adbb193ca","ref":"refs/heads/main","pushedAt":"2024-08-30T03:06:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"IDE / Book tweaks (#32)\n\n* Update components with toolkit, settings dropdown, proper font sizes\r\n\r\n* Remove book Introduction\r\n\r\n* Serialize body name before transforming\r\n\r\n* Remove Argus loading info banner\r\n\r\n* Update tutorial videos\r\n\r\n* Tweaks","shortMessageHtmlLink":"IDE / Book tweaks (#32)"}},{"before":"3c593dba3d261c95b1e970cff2fdcfbc0577ebc5","after":"6bf599e13caabf95bbcd8198ae6e1c30b47defda","ref":"refs/heads/vscode-compliance","pushedAt":"2024-08-30T02:55:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Tweaks","shortMessageHtmlLink":"Tweaks"}},{"before":"6e769051072666971bc3eb392ec96119f1b45cab","after":"3c593dba3d261c95b1e970cff2fdcfbc0577ebc5","ref":"refs/heads/vscode-compliance","pushedAt":"2024-08-30T02:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Update tutorial videos","shortMessageHtmlLink":"Update tutorial videos"}},{"before":"52c92341d15024097793ab155eba8896f0565b84","after":"6e769051072666971bc3eb392ec96119f1b45cab","ref":"refs/heads/vscode-compliance","pushedAt":"2024-08-29T23:02:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Remove Argus loading info banner","shortMessageHtmlLink":"Remove Argus loading info banner"}},{"before":"cd652af16cf91dbe8805c76888b82364b919f56b","after":"52c92341d15024097793ab155eba8896f0565b84","ref":"refs/heads/vscode-compliance","pushedAt":"2024-08-29T21:59:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Serialize body name before transforming","shortMessageHtmlLink":"Serialize body name before transforming"}},{"before":null,"after":"cd652af16cf91dbe8805c76888b82364b919f56b","ref":"refs/heads/vscode-compliance","pushedAt":"2024-08-29T16:41:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Update components with toolkit, settings dropdown, proper font sizes","shortMessageHtmlLink":"Update components with toolkit, settings dropdown, proper font sizes"}},{"before":"112c6be8a0c1df9a8c4865bcf036cb988aaa322e","after":"34d4b3c8364318ea3b2c7b13ad3840a4cf81e589","ref":"refs/heads/main","pushedAt":"2024-08-29T13:04:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Version v1.11 (#31)","shortMessageHtmlLink":"Version v1.11 (#31)"}},{"before":null,"after":"9bd838c5da9c39c43f92d0df716c8f0df0901af0","ref":"refs/heads/v1.11","pushedAt":"2024-08-28T21:43:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Version v1.11","shortMessageHtmlLink":"Version v1.11"}},{"before":null,"after":"4c852ff095c6f76e35fce5ec825934216560218b","ref":"refs/heads/gh-pages","pushedAt":"2024-08-28T21:21:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ cognitive-engineering-lab/argus@112c6be8a0c1df9a8c4865bcf036cb988aaa322e ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 112c6be ๐Ÿš€"}},{"before":"8a3717e213d82a87d05eb4d41b4fab1911b3f2ba","after":"112c6be8a0c1df9a8c4865bcf036cb988aaa322e","ref":"refs/heads/main","pushedAt":"2024-08-28T20:59:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Initial Tutorial info (#29)\n\n* Initial Tutorial info\r\n\r\n* Roughly finishing the rest of the tutorial\r\n\r\n* Add serde to Cargo\r\n\r\n* Update book with mermaid\r\n\r\n* Use Nix in GitHub CI, codespell, rustfmt, clippy\r\n\r\n* Update workflows\r\n\r\n* Use dev flakes for alsa and udev\r\n\r\n* Switch to DeterminateSystems actions\r\n\r\n* Add pkgs-config to native build inputs\r\n\r\n* Fix workflows, start typestate chapter\r\n\r\n* Revisions and shortening\r\n\r\n* Small tweaks\r\n\r\n* Condense tutorial\r\n\r\n* Remove install for mermaid,admonish and perform in CI","shortMessageHtmlLink":"Initial Tutorial info (#29)"}},{"before":"84baa401fcea3748f8c0d64f7841ebe33ff50f8e","after":"83fd8db81c3392ec2a456aeb0b02aa9874ec71dc","ref":"refs/heads/tutorial","pushedAt":"2024-08-28T14:26:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Remove install for mermaid,admonish and perform in CI","shortMessageHtmlLink":"Remove install for mermaid,admonish and perform in CI"}},{"before":"1170ce1682fa2315ea49ab46e745fcc2116d82a9","after":"84baa401fcea3748f8c0d64f7841ebe33ff50f8e","ref":"refs/heads/tutorial","pushedAt":"2024-08-28T14:21:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Condense tutorial","shortMessageHtmlLink":"Condense tutorial"}},{"before":"1a680ed0b9bc4f4bf4ae33687d4cc5b523405fb2","after":"8a3717e213d82a87d05eb4d41b4fab1911b3f2ba","ref":"refs/heads/main","pushedAt":"2024-08-28T14:14:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"tweaks and fixes (#28)\n\n* Remove Attention after first render, jump to def cursor, etc\r\n\r\n* Fix bounding box change on tree icon wrappers\r\n\r\n* Disable ambiguity implication draining...it's tainting typeck\r\n\r\n* Filter ambiguities when an error exists, shorten expression snippet for method calls\r\n\r\n* Add impl candidates for each proof node idx\r\n\r\n* Clippy\r\n\r\n* Fix render issue in Panels and MonoSpace issue in ParamEnv\r\n\r\n* Use NestedFilter::All for Span -> HirId mapping\r\n\r\n* Sort trait bounds by fn/trait/region\r\n\r\n* Fix commas and spacing in where clauses\r\n\r\n* StopPropagation in the Hover panel\r\n\r\n* Only store projection equate for solved goals\r\n\r\n* Remove check subcommand","shortMessageHtmlLink":"tweaks and fixes (#28)"}},{"before":"b7727c477d5df8aa8f6fd7e144cf1a6ab52aee46","after":"6499560e92ad71795a1879a7fc0fa170616f6931","ref":"refs/heads/will-nits","pushedAt":"2024-08-28T14:06:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Remove check subcommand","shortMessageHtmlLink":"Remove check subcommand"}},{"before":"599b0f6bdfe788ba3436d6f0b517914b0cfeddf2","after":"1170ce1682fa2315ea49ab46e745fcc2116d82a9","ref":"refs/heads/tutorial","pushedAt":"2024-08-28T14:03:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gavinleroy","name":"Gavin Gray","path":"/gavinleroy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20209337?s=80&v=4"},"commit":{"message":"Condense tutorial","shortMessageHtmlLink":"Condense tutorial"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QwMjoxNjozMi4wMDAwMDBazwAAAAS1A3qD","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QwMjoxNjozMi4wMDAwMDBazwAAAAS1A3qD","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yOFQxNDowMzo1NS4wMDAwMDBazwAAAASmlHs2"}},"title":"Activity ยท cognitive-engineering-lab/argus"}