{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":83841312,"defaultBranch":"master","name":"ITSTools","ownerLogin":"lip6","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-03T21:06:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/26254250?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720414273.0","currentOid":""},"activityList":{"items":[{"before":"1cc10751c837670eeb3e21318766d2e87af61565","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1","pushedAt":"2024-07-08T04:51:13.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":null,"after":"349ec2f2cb886d5f96d8f99a75e189c2956f4091","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3","pushedAt":"2024-07-08T04:51: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 JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.3\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.5.0 to 4.6.3.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.5.0...v4.6.3)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.3"}},{"before":"c1c95c4bacde3ec715496b5a39b9cd872cb34788","after":"db819cf038cde0bb82996294c2b899e36940c9f5","ref":"refs/heads/gh-pages","pushedAt":"2024-07-04T12:53:48.000Z","pushType":"force_push","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 @ lip6/ITSTools@ed8570b7c72125043c86f1bfc0e46e580e14ec8c ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ ed8570b ๐Ÿš€"}},{"before":"dd4af9750217f13d933f6dce1a72edb1528f37b0","after":"ed8570b7c72125043c86f1bfc0e46e580e14ec8c","ref":"refs/heads/master","pushedAt":"2024-07-04T12:49:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"filter formulas based on examination","shortMessageHtmlLink":"filter formulas based on examination"}},{"before":"2f95942aa752cc9e4cdf5dd0db2b297320547be6","after":"c1c95c4bacde3ec715496b5a39b9cd872cb34788","ref":"refs/heads/gh-pages","pushedAt":"2024-07-04T11:44:11.000Z","pushType":"force_push","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 @ lip6/ITSTools@dd4af9750217f13d933f6dce1a72edb1528f37b0 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ dd4af97 ๐Ÿš€"}},{"before":"d6866cff657821f965963dd637b5662a7a558418","after":"dd4af9750217f13d933f6dce1a72edb1528f37b0","ref":"refs/heads/master","pushedAt":"2024-07-04T11:38:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"be more generous on what crossrefs are possible.","shortMessageHtmlLink":"be more generous on what crossrefs are possible."}},{"before":"032702bcd64989d7a8cc9aad21f00ca0e2535435","after":"2f95942aa752cc9e4cdf5dd0db2b297320547be6","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T15:51:15.000Z","pushType":"force_push","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 @ lip6/ITSTools@d6866cff657821f965963dd637b5662a7a558418 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ d6866cf ๐Ÿš€"}},{"before":"cbe1f3d3acedcd40e4ff4788ca4b38c26cc103c2","after":"d6866cff657821f965963dd637b5662a7a558418","ref":"refs/heads/master","pushedAt":"2024-07-03T15:45:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"one more formula","shortMessageHtmlLink":"one more formula"}},{"before":"5e330843559056b6e6d244d6c40083695c3a2dc9","after":"032702bcd64989d7a8cc9aad21f00ca0e2535435","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T14:34:07.000Z","pushType":"force_push","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 @ lip6/ITSTools@cbe1f3d3acedcd40e4ff4788ca4b38c26cc103c2 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ cbe1f3d ๐Ÿš€"}},{"before":"1e66b823b3760d08c96c40caae152434b8a3a4a2","after":"cbe1f3d3acedcd40e4ff4788ca4b38c26cc103c2","ref":"refs/heads/master","pushedAt":"2024-07-03T14:28:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"adapt to changed grammar","shortMessageHtmlLink":"adapt to changed grammar"}},{"before":"3bf1a2385eb60869cd9c500c7b4f6d0de3e02361","after":"5e330843559056b6e6d244d6c40083695c3a2dc9","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T12:57:03.000Z","pushType":"force_push","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 @ lip6/ITSTools@1e66b823b3760d08c96c40caae152434b8a3a4a2 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 1e66b82 ๐Ÿš€"}},{"before":"6145f5ff38d0baae0f4999c80530791ada0f34bc","after":"1e66b823b3760d08c96c40caae152434b8a3a4a2","ref":"refs/heads/master","pushedAt":"2024-07-03T12:51:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"add converter build + deploy to website","shortMessageHtmlLink":"add converter build + deploy to website"}},{"before":"2831a6858839a8810c02cbed9b5c66ba774023ff","after":"3bf1a2385eb60869cd9c500c7b4f6d0de3e02361","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T12:50:45.000Z","pushType":"force_push","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 @ lip6/ITSTools@6145f5ff38d0baae0f4999c80530791ada0f34bc ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 6145f5f ๐Ÿš€"}},{"before":"8d4552a99ad0a71e6bd1a259a8214326844ee273","after":"6145f5ff38d0baae0f4999c80530791ada0f34bc","ref":"refs/heads/master","pushedAt":"2024-07-03T12:45:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"drop convert flag","shortMessageHtmlLink":"drop convert flag"}},{"before":"7da7e7d7a6a41de4b8914119573f7c166abeee40","after":"8d4552a99ad0a71e6bd1a259a8214326844ee273","ref":"refs/heads/master","pushedAt":"2024-07-03T12:25:02.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"point the converter tool","shortMessageHtmlLink":"point the converter tool"}},{"before":"bd571d8641bf7106b4b8d32c529332f9b34b1e4f","after":"2831a6858839a8810c02cbed9b5c66ba774023ff","ref":"refs/heads/gh-pages","pushedAt":"2024-07-03T10:45:49.000Z","pushType":"force_push","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 @ lip6/ITSTools@7da7e7d7a6a41de4b8914119573f7c166abeee40 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 7da7e7d ๐Ÿš€"}},{"before":"7278d32089422476cd28e634b377195d359d31e1","after":"7da7e7d7a6a41de4b8914119573f7c166abeee40","ref":"refs/heads/master","pushedAt":"2024-07-03T10:40:23.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"a parser without a PNMLFW dependency.","shortMessageHtmlLink":"a parser without a PNMLFW dependency."}},{"before":"84eb3155503abe13d0a47c8180cdc2282f832cf3","after":"bd571d8641bf7106b4b8d32c529332f9b34b1e4f","ref":"refs/heads/gh-pages","pushedAt":"2024-06-05T11:59:07.000Z","pushType":"force_push","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 @ lip6/ITSTools@7278d32089422476cd28e634b377195d359d31e1 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 7278d32 ๐Ÿš€"}},{"before":"59b13654409df7ee0c50990486f384932c9142f3","after":"7278d32089422476cd28e634b377195d359d31e1","ref":"refs/heads/master","pushedAt":"2024-06-05T11:53:38.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"code supporting the DD vs SMT analysis","shortMessageHtmlLink":"code supporting the DD vs SMT analysis"}},{"before":"97dc73b656f5f21fd35ccfc76dc341db16fee72c","after":"84eb3155503abe13d0a47c8180cdc2282f832cf3","ref":"refs/heads/gh-pages","pushedAt":"2024-05-23T10:42:14.000Z","pushType":"force_push","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 @ lip6/ITSTools@59b13654409df7ee0c50990486f384932c9142f3 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 59b1365 ๐Ÿš€"}},{"before":"480250ea9ddd890fbda90876847d8e606286d12f","after":"59b13654409df7ee0c50990486f384932c9142f3","ref":"refs/heads/master","pushedAt":"2024-05-23T10:36:06.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"A shiny new kind of constraint appears ! Traps along path operational","shortMessageHtmlLink":"A shiny new kind of constraint appears ! Traps along path operational"}},{"before":"0d106941af862970a5d00a525f5c981cad97345f","after":"97dc73b656f5f21fd35ccfc76dc341db16fee72c","ref":"refs/heads/gh-pages","pushedAt":"2024-05-22T13:34:53.000Z","pushType":"force_push","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 @ lip6/ITSTools@480250ea9ddd890fbda90876847d8e606286d12f ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 480250e ๐Ÿš€"}},{"before":"dda5e792e50b8595a6a518dcc861449d01cc91f9","after":"480250ea9ddd890fbda90876847d8e606286d12f","ref":"refs/heads/master","pushedAt":"2024-05-22T13:29:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"whitespace/source cleanup/format","shortMessageHtmlLink":"whitespace/source cleanup/format"}},{"before":"624a7943d802577f1b2e07a6422c5d0dc4838843","after":"dda5e792e50b8595a6a518dcc861449d01cc91f9","ref":"refs/heads/master","pushedAt":"2024-05-22T09:34:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"upgrade code to use the new incremental solver","shortMessageHtmlLink":"upgrade code to use the new incremental solver"}},{"before":"efe532f7f3f70d973cf0e274660bad6218e5f45f","after":null,"ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.0","pushedAt":"2024-05-20T04:36:39.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":null,"after":"1cc10751c837670eeb3e21318766d2e87af61565","ref":"refs/heads/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1","pushedAt":"2024-05-20T04:36:35.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 JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1\n\nBumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.5.0 to 4.6.1.\n- [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases)\n- [Commits](https://github.com/jamesives/github-pages-deploy-action/compare/v4.5.0...v4.6.1)\n\n---\nupdated-dependencies:\n- dependency-name: JamesIves/github-pages-deploy-action\n dependency-type: direct:production\n update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] ","shortMessageHtmlLink":"Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.1"}},{"before":"5629aa9f243492033fc6442464e720032bd26577","after":"0d106941af862970a5d00a525f5c981cad97345f","ref":"refs/heads/gh-pages","pushedAt":"2024-05-14T13:43:23.000Z","pushType":"force_push","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 @ lip6/ITSTools@624a7943d802577f1b2e07a6422c5d0dc4838843 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 624a794 ๐Ÿš€"}},{"before":"4652a22758cedaa54c81b390aa84be437b2fb173","after":"624a7943d802577f1b2e07a6422c5d0dc4838843","ref":"refs/heads/master","pushedAt":"2024-05-14T13:37:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"add and transmit a timeout flag","shortMessageHtmlLink":"add and transmit a timeout flag"}},{"before":"a7cbcac7577be5795563175fa43179dfefafe817","after":"5629aa9f243492033fc6442464e720032bd26577","ref":"refs/heads/gh-pages","pushedAt":"2024-05-05T15:28:12.000Z","pushType":"force_push","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 @ lip6/ITSTools@4652a22758cedaa54c81b390aa84be437b2fb173 ๐Ÿš€","shortMessageHtmlLink":"Deploying to gh-pages from @ 4652a22 ๐Ÿš€"}},{"before":"34f1645c4ec064cd6cd9f9b639120f2ccabe1730","after":"4652a22758cedaa54c81b390aa84be437b2fb173","ref":"refs/heads/master","pushedAt":"2024-05-05T15:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yanntm","name":"Yann Thierry-Mieg","path":"/yanntm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15147867?s=80&v=4"},"commit":{"message":"behavior is now in the normal flow of reductions","shortMessageHtmlLink":"behavior is now in the normal flow of reductions"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOFQwNDo1MToxMy4wMDAwMDBazwAAAAR5Mdzy","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOFQwNDo1MToxMy4wMDAwMDBazwAAAAR5Mdzy","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0wNVQxNToyMjo0MC4wMDAwMDBazwAAAARB5azs"}},"title":"Activity ยท lip6/ITSTools"}