{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":337294485,"defaultBranch":"master","name":"fsl.cs.illinois.edu","ownerLogin":"Formal-Systems-Laboratory","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-09T04:43:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12419182?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711468366.0","currentOid":""},"activityList":{"items":[{"before":"81732d7944bee0a57b0d4d8f009693b6058b75a3","after":"bf41adc9731f98e4433efedef735489224227c16","ref":"refs/heads/master","pushedAt":"2024-09-10T15:09:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"0d9bc7ede3a71f5f8abb0470c6652b5a44901ce5","after":"81732d7944bee0a57b0d4d8f009693b6058b75a3","ref":"refs/heads/master","pushedAt":"2024-09-10T14:01:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"5b83b22ffac659e48cbb2023e00cd1bfd499a688","after":"0d9bc7ede3a71f5f8abb0470c6652b5a44901ce5","ref":"refs/heads/master","pushedAt":"2024-09-10T13:58:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"0e8ae9acffa61401970a5b61d96a0e21f61cc0b9","after":"5b83b22ffac659e48cbb2023e00cd1bfd499a688","ref":"refs/heads/master","pushedAt":"2024-08-27T16:45:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"9819eb06edc44ca84a1912ad7093bb3dbbb06b14","after":"0e8ae9acffa61401970a5b61d96a0e21f61cc0b9","ref":"refs/heads/master","pushedAt":"2024-08-27T16:45:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Delete teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics (1).pdf","shortMessageHtmlLink":"Delete teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable…"}},{"before":"a324490877a865d075103311f6e5fb4686f5120b","after":"9819eb06edc44ca84a1912ad7093bb3dbbb06b14","ref":"refs/heads/master","pushedAt":"2024-08-27T16:40:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"fa2608662bed52d61825ffe91de4ac99803838fe","after":"a324490877a865d075103311f6e5fb4686f5120b","ref":"refs/heads/master","pushedAt":"2024-08-27T16:39:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"635fc6a291152ee754260f1c5aa1dbe522624308","after":"fa2608662bed52d61825ffe91de4ac99803838fe","ref":"refs/heads/master","pushedAt":"2024-08-27T16:38:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"8131390ffdd923d49f81b80cb93e8534c152042d","after":"635fc6a291152ee754260f1c5aa1dbe522624308","ref":"refs/heads/master","pushedAt":"2024-08-27T16:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Create index.md","shortMessageHtmlLink":"Create index.md"}},{"before":"948e6f7f6d9ca28368c30f8443af77be4749a3c0","after":"8131390ffdd923d49f81b80cb93e8534c152042d","ref":"refs/heads/master","pushedAt":"2024-08-27T16:30:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Delete teaching/2024/cs422","shortMessageHtmlLink":"Delete teaching/2024/cs422"}},{"before":"e9e65a3d507ad7610496d78faed12dac735c558b","after":"948e6f7f6d9ca28368c30f8443af77be4749a3c0","ref":"refs/heads/master","pushedAt":"2024-08-27T16:17:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Create cs422","shortMessageHtmlLink":"Create cs422"}},{"before":"e15be90e6dd69189e0e9e6f778649f8474593fa6","after":"e9e65a3d507ad7610496d78faed12dac735c558b","ref":"refs/heads/master","pushedAt":"2024-08-27T16:15:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"53a785bc427bd07c7ae60810cb8132f671c0e0af","after":"e15be90e6dd69189e0e9e6f778649f8474593fa6","ref":"refs/heads/master","pushedAt":"2024-04-23T14:29:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"74e59e33b50681cc341e8a14afe2e7c6da8648f6","after":"53a785bc427bd07c7ae60810cb8132f671c0e0af","ref":"refs/heads/master","pushedAt":"2024-04-18T15:50:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"47606056ff0836baac7231584764ec4405ed4725","after":"74e59e33b50681cc341e8a14afe2e7c6da8648f6","ref":"refs/heads/master","pushedAt":"2024-04-18T15:47:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"08c9acaa4fb706be3fe071101a041a5ccd0a5c99","after":"47606056ff0836baac7231584764ec4405ed4725","ref":"refs/heads/master","pushedAt":"2024-04-18T15:46:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"03331c21794c6cfb6d9d3623cb03ff48023f3155","after":"08c9acaa4fb706be3fe071101a041a5ccd0a5c99","ref":"refs/heads/master","pushedAt":"2024-04-02T15:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"2ba30a424c3125f019e18cae9cd851142cc039c8","after":"03331c21794c6cfb6d9d3623cb03ff48023f3155","ref":"refs/heads/master","pushedAt":"2024-03-26T15:52:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"b81f4da63dd6c8b2a31b9190c427a814a5d692c1","after":"2ba30a424c3125f019e18cae9cd851142cc039c8","ref":"refs/heads/master","pushedAt":"2024-03-26T15:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"abbe8368ab720b0925e28cb147115cafd58dd1a0","after":"b81f4da63dd6c8b2a31b9190c427a814a5d692c1","ref":"refs/heads/master","pushedAt":"2024-03-21T18:26:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"19bdd232cdd15bdf7a7941019e80a17163f8f128","after":"abbe8368ab720b0925e28cb147115cafd58dd1a0","ref":"refs/heads/master","pushedAt":"2024-03-19T13:19:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"4020dfae74128fbee4b3046fcc9186e67e4d1a0d","after":"19bdd232cdd15bdf7a7941019e80a17163f8f128","ref":"refs/heads/master","pushedAt":"2024-03-19T13:17:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"4696ca889922fca89f34f454e73fdb028f7be6f2","after":"4020dfae74128fbee4b3046fcc9186e67e4d1a0d","ref":"refs/heads/master","pushedAt":"2024-02-29T18:19:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"b2c305c828236e595f521428f14be4b9bf81c8da","after":"4696ca889922fca89f34f454e73fdb028f7be6f2","ref":"refs/heads/master","pushedAt":"2024-02-29T18:17:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"8a774e13f918d3534138e97c30fc8a5cb2766d3f","after":"b2c305c828236e595f521428f14be4b9bf81c8da","ref":"refs/heads/master","pushedAt":"2024-02-29T16:50:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"758b56aa6c5d7e9a4139c8ebebda61aab8c05511","after":"8a774e13f918d3534138e97c30fc8a5cb2766d3f","ref":"refs/heads/master","pushedAt":"2024-02-26T14:56:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"29c6bc99ec59910f4a72100a51273c8e8c25d118","after":"758b56aa6c5d7e9a4139c8ebebda61aab8c05511","ref":"refs/heads/master","pushedAt":"2024-02-26T14:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"44aea19c20e073a86aae635fbeafd1efb71e2853","after":"29c6bc99ec59910f4a72100a51273c8e8c25d118","ref":"refs/heads/master","pushedAt":"2024-02-26T14:40:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Update index.md","shortMessageHtmlLink":"Update index.md"}},{"before":"c698a5339fc491ce160505abe9b3156fcda92de6","after":"44aea19c20e073a86aae635fbeafd1efb71e2853","ref":"refs/heads/master","pushedAt":"2024-02-15T16:29:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}},{"before":"9bcae7c24a31efd29d532a9130ac4b29c75e4095","after":"c698a5339fc491ce160505abe9b3156fcda92de6","ref":"refs/heads/master","pushedAt":"2024-02-15T16:27:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"grosu","name":"Grigore Rosu","path":"/grosu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3733729?s=80&v=4"},"commit":{"message":"Add files via upload","shortMessageHtmlLink":"Add files via upload"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxNTowOTo1Mi4wMDAwMDBazwAAAASyNqu0","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMFQxNTowOTo1Mi4wMDAwMDBazwAAAASyNqu0","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xNVQxNjoyNzo1MC4wMDAwMDBazwAAAAP7wul7"}},"title":"Activity · Formal-Systems-Laboratory/fsl.cs.illinois.edu"}