{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":630855345,"defaultBranch":"main","name":"tfl-training-probabilistic-model-checking","ownerLogin":"aai-institute","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-21T09:58:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/133704492?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711290630.0","currentOid":""},"activityList":{"items":[{"before":"846357f3c0529037a567cf145a86c2c3f2776e4a","after":"2d4f547b472072b983a08eb1fc1fe9b3227253f2","ref":"refs/heads/main","pushedAt":"2024-06-24T14:04:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"Merge pull request #21 from aai-institute/adapt-logos\n\nAdapt logos and heading","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2370343968\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/21/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/21\">#21</a> from aai-institute/adapt-logos"}},{"before":"a82defdac2ddc7c50cc91e93e968dec43ba10e10","after":"61acb3525a5480799e584268ef1bbf28cac69fee","ref":"refs/heads/adapt-logos","pushedAt":"2024-06-24T14:02:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"adapted colors to new ci","shortMessageHtmlLink":"adapted colors to new ci"}},{"before":"408c8b0c642be531fbe1901fd21586e7d485f90a","after":"846357f3c0529037a567cf145a86c2c3f2776e4a","ref":"refs/heads/main","pushedAt":"2024-03-24T14:34:18.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"Merge pull request #20 from aai-institute/adapt-logos\n\nAdapt logos to new ci","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2204381965\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/20/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/20\">#20</a> from aai-institute/adapt-logos"}},{"before":null,"after":"a82defdac2ddc7c50cc91e93e968dec43ba10e10","ref":"refs/heads/adapt-logos","pushedAt":"2024-03-24T14:30:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"adapted logos to institute ci","shortMessageHtmlLink":"adapted logos to institute ci"}},{"before":"77c1251ccca3223505d08375952bb86b8e36e8b4","after":"408c8b0c642be531fbe1901fd21586e7d485f90a","ref":"refs/heads/main","pushedAt":"2024-03-24T12:35:25.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"Merge pull request #19 from aai-institute/adapt-license\n\nAdded note on license","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2204329590\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/19/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/19\">#19</a> from aai-institute/adapt-license"}},{"before":null,"after":"8e2b74e4fc261631be16c82793870fff8d624786","ref":"refs/heads/adapt-license","pushedAt":"2024-03-24T12:34:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"turnmanh","name":"Maternus","path":"/turnmanh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17703667?s=80&v=4"},"commit":{"message":"added note on license","shortMessageHtmlLink":"added note on license"}},{"before":"6f43e7884282c5e16e0922f34e1b8b0a8f515286","after":null,"ref":"refs/heads/update-requirements","pushedAt":"2024-02-19T15:55:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"d82a7d53b41b8ba28b751f436fffb5ece5a2ff77","after":"77c1251ccca3223505d08375952bb86b8e36e8b4","ref":"refs/heads/main","pushedAt":"2024-02-19T15:55:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #18 from aai-institute/update-requirements\n\nUpdate requirements","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2142684778\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/18/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/18\">#18</a> from aai-institute/update-requirements"}},{"before":null,"after":"6f43e7884282c5e16e0922f34e1b8b0a8f515286","ref":"refs/heads/update-requirements","pushedAt":"2024-02-19T15:49:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Update requirements","shortMessageHtmlLink":"Update requirements"}},{"before":"4891560182ce50f66916b7acf872639ef40284c6","after":null,"ref":"refs/heads/update-pipelines","pushedAt":"2024-02-09T15:01:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"1e269aa5796e552a9a4241f0069c8e909d74ae56","after":"d82a7d53b41b8ba28b751f436fffb5ece5a2ff77","ref":"refs/heads/main","pushedAt":"2024-02-09T15:01:01.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #17 from aai-institute/update-pipelines\n\nadopt pipelines to ghcr.io","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127301975\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/17/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/17\">#17</a> from aai-institute/update-pipelines"}},{"before":"a6737b7d647bba9d00b2fc0d090ee3c03788d9e7","after":"4891560182ce50f66916b7acf872639ef40284c6","ref":"refs/heads/update-pipelines","pushedAt":"2024-02-09T14:58:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"fix permission denied error","shortMessageHtmlLink":"fix permission denied error"}},{"before":"7bec1320ef0995d6f33cdff016c69bfde6ea3915","after":"a6737b7d647bba9d00b2fc0d090ee3c03788d9e7","ref":"refs/heads/update-pipelines","pushedAt":"2024-02-09T14:53:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"adopt pipelines to ghcr.io","shortMessageHtmlLink":"adopt pipelines to ghcr.io"}},{"before":null,"after":"7bec1320ef0995d6f33cdff016c69bfde6ea3915","ref":"refs/heads/update-pipelines","pushedAt":"2024-02-09T14:51:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"remove participant secret from build","shortMessageHtmlLink":"remove participant secret from build"}},{"before":"88f1bf0a0b232390195f789c52995507a61b19d9","after":null,"ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T14:37:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"519452b6e6c7ae09cd025950dbce51af27cc1b47","after":"1e269aa5796e552a9a4241f0069c8e909d74ae56","ref":"refs/heads/main","pushedAt":"2024-02-09T14:37:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #16 from aai-institute/fariedabuzaid-patch-1\n\nFix typos README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127273223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/16/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/16\">#16</a> from aai-institute/fariedabuzaid-patch-1"}},{"before":null,"after":"88f1bf0a0b232390195f789c52995507a61b19d9","ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T14:37:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Fix typos README.md","shortMessageHtmlLink":"Fix typos README.md"}},{"before":"5874bb96202129145363b78a32777fcef3fae548","after":null,"ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T13:45:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"1f0963bbf926958af890340c16b0750a8836fb06","after":"519452b6e6c7ae09cd025950dbce51af27cc1b47","ref":"refs/heads/main","pushedAt":"2024-02-09T13:45:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #15 from aai-institute/fariedabuzaid-patch-1\n\nLink video","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127186240\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/15/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/15\">#15</a> from aai-institute/fariedabuzaid-patch-1"}},{"before":null,"after":"5874bb96202129145363b78a32777fcef3fae548","ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T13:44:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Link video","shortMessageHtmlLink":"Link video"}},{"before":"6316b69f31b74b839c01c008a8d90e6f853d0bce","after":null,"ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T13:24:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"0d2f76fcde997824eafbd7083568947fd783582a","after":"1f0963bbf926958af890340c16b0750a8836fb06","ref":"refs/heads/main","pushedAt":"2024-02-09T13:24:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #14 from aai-institute/fariedabuzaid-patch-1\n\nUpdate installation instructions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2127150364\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/14/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/14\">#14</a> from aai-institute/fariedabuzaid-patch-1"}},{"before":null,"after":"6316b69f31b74b839c01c008a8d90e6f853d0bce","ref":"refs/heads/fariedabuzaid-patch-1","pushedAt":"2024-02-09T13:23:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Update installation instructions","shortMessageHtmlLink":"Update installation instructions"}},{"before":"7bec1320ef0995d6f33cdff016c69bfde6ea3915","after":null,"ref":"refs/heads/bugfix/remove-secret","pushedAt":"2024-02-09T10:14:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"9bfc068c2838c5efe669f306eb6bb54256090510","after":"0d2f76fcde997824eafbd7083568947fd783582a","ref":"refs/heads/main","pushedAt":"2024-02-09T10:14:48.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #13 from aai-institute/bugfix/remove-secret\n\nRemove participant secret from build","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2126825483\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/13/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/13\">#13</a> from aai-institute/bugfix/remove-secret"}},{"before":null,"after":"7bec1320ef0995d6f33cdff016c69bfde6ea3915","ref":"refs/heads/bugfix/remove-secret","pushedAt":"2024-02-09T10:07:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"remove participant secret from build","shortMessageHtmlLink":"remove participant secret from build"}},{"before":"86f9a8ff4285bff3e4ea591c0a5dbc4dd23ee079","after":"9bfc068c2838c5efe669f306eb6bb54256090510","ref":"refs/heads/main","pushedAt":"2024-02-08T13:37:24.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #12 from aai-institute/add-slides\n\nAdd slides","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2124921169\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/12/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/12\">#12</a> from aai-institute/add-slides"}},{"before":"b1cc38cb0e8ae3897c1f1b18ce553cb8c68e48e9","after":null,"ref":"refs/heads/no-cache-pipelines","pushedAt":"2024-02-08T11:07:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"}},{"before":"2e2ea60a3cd8f726d759c917d2a2b16d62725530","after":"86f9a8ff4285bff3e4ea591c0a5dbc4dd23ee079","ref":"refs/heads/main","pushedAt":"2024-02-08T11:07:41.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"Merge pull request #11 from aai-institute/no-cache-pipelines\n\nadd no-cache to build action","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2123995763\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aai-institute/tfl-training-probabilistic-model-checking/pull/11/hovercard\" href=\"https://github.com/aai-institute/tfl-training-probabilistic-model-checking/pull/11\">#11</a> from aai-institute/no-cache-pipelines"}},{"before":null,"after":"03ba709ebf5e87f5e78f4682ffa2e030c2f9a934","ref":"refs/heads/add-slides","pushedAt":"2024-02-08T11:00:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fariedabuzaid","name":"Faried Abu Zaid","path":"/fariedabuzaid","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28652659?s=80&v=4"},"commit":{"message":"add + rename slides","shortMessageHtmlLink":"add + rename slides"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbZeyXAA","startCursor":null,"endCursor":null}},"title":"Activity · aai-institute/tfl-training-probabilistic-model-checking"}