{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":237381969,"defaultBranch":"master","name":"personoj","ownerLogin":"Deducteam","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-01-31T07:36:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32068788?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706089206.0","currentOid":""},"activityList":{"items":[{"before":"f87424d98d6609ffa7c70e8ad4317769ef4c429d","after":"c740220ed432aee628ce7d7898c863dcb23042d9","ref":"refs/heads/master","pushedAt":"2024-01-24T10:12:30.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Merge pull request #18 from Deducteam/rename-functions\n\nRename dedukti to lambdapi","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2097846423\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/personoj/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/personoj/pull/18/hovercard\" href=\"https://github.com/Deducteam/personoj/pull/18\">#18</a> from Deducteam/rename-functions"}},{"before":"5fcf0f3f37b2bf915d2cb29ca97ce3615cd2afd7","after":null,"ref":"refs/heads/rename-functions","pushedAt":"2024-01-24T10:12:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"}},{"before":"66c2797d74689473fb13d14982a9ce18d6f39207","after":"5fcf0f3f37b2bf915d2cb29ca97ce3615cd2afd7","ref":"refs/heads/rename-functions","pushedAt":"2024-01-24T10:02:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Minor CI fixes\n\nfix apt command\nuse ocaml 4.14.1\nadd a declaim to silence some warnings","shortMessageHtmlLink":"Minor CI fixes"}},{"before":"47ca9fc4f5cca4fcb400e16776e6ea592d9b09e6","after":"66c2797d74689473fb13d14982a9ce18d6f39207","ref":"refs/heads/rename-functions","pushedAt":"2024-01-24T09:55:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Rename to pp-lp, centralised in one file","shortMessageHtmlLink":"Rename to pp-lp, centralised in one file"}},{"before":null,"after":"47ca9fc4f5cca4fcb400e16776e6ea592d9b09e6","ref":"refs/heads/rename-functions","pushedAt":"2024-01-24T09:40:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Rename pp-dk into pp-lp","shortMessageHtmlLink":"Rename pp-dk into pp-lp"}},{"before":"7ba7f5fc584951ba7c80d0d0e2c6729e7f93918d","after":null,"ref":"refs/heads/install-procedure","pushedAt":"2024-01-24T09:26:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"}},{"before":"6b3a280cfc1626059f00ddce9242dbfabb30d612","after":"f87424d98d6609ffa7c70e8ad4317769ef4c429d","ref":"refs/heads/master","pushedAt":"2024-01-24T09:26:50.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Merge pull request #17 from Deducteam/install-procedure\n\nCleaner and more secure install procedure","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2097691825\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/personoj/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/personoj/pull/17/hovercard\" href=\"https://github.com/Deducteam/personoj/pull/17\">#17</a> from Deducteam/install-procedure"}},{"before":"961f0036561b5d36cbcaea6c122b4764f9e787cd","after":"7ba7f5fc584951ba7c80d0d0e2c6729e7f93918d","ref":"refs/heads/install-procedure","pushedAt":"2024-01-24T09:06:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"More thorough install procedure\n\nCheck if prettyprint-dedukti is available","shortMessageHtmlLink":"More thorough install procedure"}},{"before":"5dce87aecdc1893dbe6dc37c4ae49d4f6bc6fbbe","after":"961f0036561b5d36cbcaea6c122b4764f9e787cd","ref":"refs/heads/install-procedure","pushedAt":"2024-01-24T08:21:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"No newline at end of error","shortMessageHtmlLink":"No newline at end of error"}},{"before":null,"after":"5dce87aecdc1893dbe6dc37c4ae49d4f6bc6fbbe","ref":"refs/heads/install-procedure","pushedAt":"2024-01-24T08:16:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Cleaner and more secure install procedure","shortMessageHtmlLink":"Cleaner and more secure install procedure"}},{"before":"36d2f8dcd4c8fa77c189f9a733616fdcd602c999","after":"6b3a280cfc1626059f00ddce9242dbfabb30d612","ref":"refs/heads/master","pushedAt":"2024-01-23T17:13:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"fdaa36beb13d4857c8f484766cfdc545382dcb54","after":null,"ref":"refs/heads/update-syntax","pushedAt":"2024-01-23T17:10:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"}},{"before":"291695435b71fab98d1ddd73059a480df4e901c2","after":"36d2f8dcd4c8fa77c189f9a733616fdcd602c999","ref":"refs/heads/master","pushedAt":"2024-01-23T17:10:32.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Merge pull request #16 from Deducteam/update-syntax\n\nUpdate lambdapi syntax","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2096492178\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/personoj/issues/16\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/personoj/pull/16/hovercard\" href=\"https://github.com/Deducteam/personoj/pull/16\">#16</a> from Deducteam/update-syntax"}},{"before":"4b7a132d098b5084a8becd885dd4c2fe4562050c","after":"291695435b71fab98d1ddd73059a480df4e901c2","ref":"refs/heads/master","pushedAt":"2024-01-23T17:10:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Add notes on function coercion","shortMessageHtmlLink":"Add notes on function coercion"}},{"before":null,"after":"fdaa36beb13d4857c8f484766cfdc545382dcb54","ref":"refs/heads/update-syntax","pushedAt":"2024-01-23T16:32:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Update lambdapi syntax","shortMessageHtmlLink":"Update lambdapi syntax"}},{"before":"4346d0ddf9e16f03a81c30703c828119f6833326","after":"4b7a132d098b5084a8becd885dd4c2fe4562050c","ref":"refs/heads/master","pushedAt":"2024-01-23T13:45:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Readme","shortMessageHtmlLink":"Readme"}},{"before":"8852bef554fdf7a2b8d27cf0926ad35653c32de7","after":null,"ref":"refs/heads/pvs8","pushedAt":"2024-01-23T13:40:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"}},{"before":"bf635656bec6adbd3f8a1d1974627424dea570b1","after":"4346d0ddf9e16f03a81c30703c828119f6833326","ref":"refs/heads/master","pushedAt":"2024-01-23T13:40:40.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Merge pull request #14 from Deducteam/pvs8\n\nUpdate to PVS8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094454899\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/personoj/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/personoj/pull/14/hovercard\" href=\"https://github.com/Deducteam/personoj/pull/14\">#14</a> from Deducteam/pvs8"}},{"before":"5d63621b82988082e76504b998633da695be17ec","after":"8852bef554fdf7a2b8d27cf0926ad35653c32de7","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T13:30:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Dont ignore special variable","shortMessageHtmlLink":"Dont ignore special variable"}},{"before":"7e55f294288bc1eb25ec724ab9753e0a55dd94e5","after":"5d63621b82988082e76504b998633da695be17ec","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T13:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Promoting tests\n\nTo keep up with new int types","shortMessageHtmlLink":"Promoting tests"}},{"before":"114026f51d8cfafa56207913c458288e5cd340d4","after":"7e55f294288bc1eb25ec724ab9753e0a55dd94e5","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T13:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Update list of theories from prelude","shortMessageHtmlLink":"Update list of theories from prelude"}},{"before":"29528a2ff0c3867b65f03cf65a0190a6a4259746","after":null,"ref":"refs/heads/dependabot/github_actions/actions/upload-artifact-4","pushedAt":"2024-01-23T11:19:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"}},{"before":"08e77a17f4560566d59ccde137fb25464a44f70f","after":"bf635656bec6adbd3f8a1d1974627424dea570b1","ref":"refs/heads/master","pushedAt":"2024-01-23T11:19:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Merge pull request #15 from Deducteam/dependabot/github_actions/actions/upload-artifact-4\n\nBump actions/upload-artifact from 3 to 4","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2094736745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Deducteam/personoj/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Deducteam/personoj/pull/15/hovercard\" href=\"https://github.com/Deducteam/personoj/pull/15\">#15</a> from Deducteam/dependabot/github_actions/actio…"}},{"before":"765c4187e1fc862c5b8e3517d6f664fcfb04dc58","after":"114026f51d8cfafa56207913c458288e5cd340d4","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T11:04:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Add a builtin integers type","shortMessageHtmlLink":"Add a builtin integers type"}},{"before":"8b20ea862b107041fe3a2db3c13178428468cf53","after":"765c4187e1fc862c5b8e3517d6f664fcfb04dc58","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T09:16:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Promove all tests\n\nOnly import sections have changed","shortMessageHtmlLink":"Promove all tests"}},{"before":"acf3a788ea26622f410dba043be4063113392a7a","after":"8b20ea862b107041fe3a2db3c13178428468cf53","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T09:15:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Reorganise code to minimise warnings","shortMessageHtmlLink":"Reorganise code to minimise warnings"}},{"before":"8ed580daa312bf56af1374443ed3456849196800","after":"acf3a788ea26622f410dba043be4063113392a7a","ref":"refs/heads/pvs8","pushedAt":"2024-01-23T08:36:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"prove-formula, get-typechecked-theory","shortMessageHtmlLink":"prove-formula, get-typechecked-theory"}},{"before":null,"after":"29528a2ff0c3867b65f03cf65a0190a6a4259746","ref":"refs/heads/dependabot/github_actions/actions/upload-artifact-4","pushedAt":"2024-01-22T20:56:04.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 actions/upload-artifact from 3 to 4\n\nBumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4.\n- [Release notes](https://github.com/actions/upload-artifact/releases)\n- [Commits](https://github.com/actions/upload-artifact/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/upload-artifact\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/upload-artifact from 3 to 4"}},{"before":"e108c93cb735f3759b9c8f22cc28d2c1f9f8e959","after":"8ed580daa312bf56af1374443ed3456849196800","ref":"refs/heads/pvs8","pushedAt":"2024-01-22T18:08:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Fix CI scripts","shortMessageHtmlLink":"Fix CI scripts"}},{"before":"20799f2af0f6163c43d7fb7f66d6b536e9f43061","after":"e108c93cb735f3759b9c8f22cc28d2c1f9f8e959","ref":"refs/heads/pvs8","pushedAt":"2024-01-22T17:58:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gabrielhdt","name":"Gabriel Hondet","path":"/gabrielhdt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7418676?s=80&v=4"},"commit":{"message":"Install sbcl","shortMessageHtmlLink":"Install sbcl"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD58WKMQA","startCursor":null,"endCursor":null}},"title":"Activity · Deducteam/personoj"}