{"action":"opened","number":3124,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/3124","id":239789042,"node_id":"MDExOlB1bGxSZXF1ZXN0MjM5Nzg5MDQy","html_url":"https://github.com/gap-system/gap/pull/3124","diff_url":"https://github.com/gap-system/gap/pull/3124.diff","patch_url":"https://github.com/gap-system/gap/pull/3124.patch","issue_url":"https://api.github.com/repos/gap-system/gap/issues/3124","number":3124,"state":"open","locked":false,"title":"Add make check-manuals to makemanuals Travis test","user":{"login":"alex-konovalov","id":5751387,"node_id":"MDQ6VXNlcjU3NTEzODc=","avatar_url":"https://avatars1.githubusercontent.com/u/5751387?v=4","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"body":"This continues #3105 and #3112. After partial clean up of types of manSections (#3105) and fixing all `<Ref>` to ensure that they refer to an item properly mentioning its type, derived from the type of the ManSection for the corresponding item (#3112), the next step is to extend the `makemanuals` test in Travis to ensure that we maintain the reference manual in this state. Also, the log, a fragment of which is below, will be accessible on Travis, to provide a list of ManSections having no examples\r\n\r\n```\r\n****************************************************************\r\n*** Looking for ManSections having no examples \r\n****************************************************************\r\n./help.xml:193 : SetHelpViewer\r\n./../../lib/pager.gd:21 : Pager\r\n./run.xml:578 : SaveWorkspace\r\n./../../lib/system.g:552 : ARCH_IS_UNIX\r\n...\r\n./integers.xml:144 : \\mod\r\n./../../lib/zmodnz.gd:159 : ZmodnZ\r\n./../../lib/zmodnz.gd:30 : IsZmodnZObj\r\n./../../lib/random.gd:20 : IsRandomSource\r\n./../../lib/random.gd:147 : IsMersenneTwister\r\n./../../lib/bitfields.gd:19 : MakeBitfields\r\n./../../lib/numtheor.gd:38 : InfoNumtheor\r\n./../../lib/combinat.gd:294 : Combinations\r\n./../../lib/combinat.gd:408 : Arrangements\r\n./../../lib/combinat.gd:479 : UnorderedTuples\r\n./../../lib/combinat.gd:510 : NrUnorderedTuples\r\n./../../lib/combinat.gd:593 : Tuples\r\n./../../lib/combinat.gd:623 : EnumeratorOfTuples\r\n...\r\n****************************************************************\r\n*** Doc coverage report \r\n****************************************************************\r\n2856 mansections \r\n1318 with examples \r\n1538 without examples \r\n****************************************************************\r\n*** Checking types in ManSections \r\n****************************************************************\r\n./../../lib/magma.gd:673 : Centralizer uses Attr instead of Oper\r\n./../../lib/grp.gd:3538 : GrowthFunctionOfGroup uses Oper instead of Attr\r\n./../../lib/oprt.gd:1243 : Orbit uses Oper instead of Func\r\n./../../lib/oprt.gd:1281 : Orbits uses Oper instead of Attr\r\n./../../lib/oprt.gd:1306 : OrbitsDomain uses Oper instead of Attr\r\n./../../lib/oprt.gd:1357 : OrbitLength uses Oper instead of Func\r\n./../../lib/oprt.gd:1378 : OrbitLengths uses Oper instead of Attr\r\n./../../lib/oprt.gd:1400 : OrbitLengthsDomain uses Oper instead of Attr\r\n./../../lib/oprt.gd:1431 : OrbitStabilizer uses Oper instead of Func\r\n./../../lib/oprt.gd:1035 : SparseActionHomomorphism uses Oper instead of Func\r\n./../../lib/oprt.gd:\r\n1037 : SortedSparseActionHomomorphism uses Oper instead of Func\r\n./../../lib/oprt.gd:1992 : CycleLengths uses Oper instead of Func\r\n./../../lib/oprt.gd:1696 : IsTransitive uses Oper instead of Prop\r\n./../../lib/oprt.gd:1517 : Transitivity uses Oper instead of Attr\r\n./../../lib/oprt.gd:1844 : RankAction uses Oper instead of Attr\r\n./../../lib/oprt.gd:1780 : IsSemiRegular uses Oper instead of Prop\r\n./../../lib/oprt.gd:1807 : IsRegular uses Oper instead of Prop\r\n./../../lib/oprt.gd:1670 : Earns uses Oper instead of Attr\r\n./../../lib/oprt.gd:1731 : IsPrimitive uses Oper instead of Prop\r\n./../../lib/oprt.gd:1552 : Blocks uses Oper instead of Func\r\n./../../lib/oprt.gd:1554 : Blocks uses Attr instead of Func\r\n./../../lib/oprt.gd:1596 : MaximalBlocks uses Oper instead of Func\r\n./../../lib/oprt.gd:1598 : MaximalBlocks uses Attr instead of Func\r\n./../../lib/oprt.gd:\r\n1634 : RepresentativesMinimalBlocks uses Oper instead of Func\r\n./../../lib/oprt.gd:\r\n1637 : RepresentativesMinimalBlocks uses Attr instead of Func\r\n./../../lib/oprt.gd:1148 : ExternalSet uses Oper instead of Attr\r\n./../../lib/oprt.gd:1199 : ExternalSubset uses Oper instead of Func\r\n./../../lib/oprt.gd:1221 : ExternalOrbit uses Oper instead of Func\r\n./../../lib/oprt.gd:1453 : ExternalOrbits uses Oper instead of Attr\r\n./../../lib/oprt.gd:1479 : ExternalOrbitsStabilizers uses Oper instead of Attr\r\n./../../lib/ratfun.gd:1378 : Discriminant uses Oper instead of Attr\r\n./../../lib/tom.gd:1506 : CyclicExtensionsTom uses Oper instead of Attr\r\n./../../lib/ctbl.gd:1110 : IsAlmostSimple uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1114 : IsMonomial uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1115 : IsNilpotent uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1116 : IsPerfect uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1117 : IsSimple uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1118 : IsSolvable uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1119 : IsSporadicSimple uses Prop instead of Oper\r\n./../../lib/ctbl.gd:1120 : IsSupersolvable uses Prop instead of Oper\r\n./../../lib/ctbl.gd:2469 : DecompositionMatrix uses Oper instead of Attr\r\n./../../lib/ctbl.gd:3824 : CharacterTableIsoclinic uses Oper instead of Attr\r\n./../../lib/ctblmaps.gd:\r\n584 : FusionConjugacyClassesOp uses Oper instead of Attr\r\n./../../lib/ctblmono.gd:607 : TestMonomial uses Oper instead of Attr\r\n./../../lib/ctblmono.gd:609 : TestMonomial uses Oper instead of Attr\r\n./../../lib/ctblmono.gd:762 : TestRelativelySM uses Oper instead of Attr\r\n./../../lib/ctblmono.gd:764 : TestRelativelySM uses Oper instead of Attr\r\n****************************************************************\r\n*** Checking types in cross-references \r\n****************************************************************\r\nFound 7574 Ref elements including 7502 within the Reference manual\r\n****************************************************************\r\nSelected 3742 ManSections of the following types:\r\nAttr - 753\r\nFam - 8\r\nFilt - 358\r\nFunc - 1373\r\nInfoClass - 21\r\nMeth - 68\r\nOper - 894\r\nProp - 223\r\nVar - 44\r\nFound 47 errors in ManSection types \r\nSelected 6229 Ref elements referring to ManSections \r\nFound 0 errors and 0 warnings in Ref elements \r\n****************************************************************\r\n```","created_at":"2018-12-19T10:43:42Z","updated_at":"2018-12-19T10:43:42Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[{"id":190798731,"node_id":"MDU6TGFiZWwxOTA3OTg3MzE=","url":"https://api.github.com/repos/gap-system/gap/labels/topic:%20documentation","name":"topic: documentation","color":"c0d9f7","default":false},{"id":300498843,"node_id":"MDU6TGFiZWwzMDA0OTg4NDM=","url":"https://api.github.com/repos/gap-system/gap/labels/topic:%20tests","name":"topic: tests","color":"c0d9f7","default":false}],"milestone":null,"commits_url":"https://api.github.com/repos/gap-system/gap/pulls/3124/commits","review_comments_url":"https://api.github.com/repos/gap-system/gap/pulls/3124/comments","review_comment_url":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/3124/comments","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/0ec878eb1e569c35a14130431abb740a49d3e651","head":{"label":"alex-konovalov:check-manuals-travis","ref":"check-manuals-travis","sha":"0ec878eb1e569c35a14130431abb740a49d3e651","user":{"login":"alex-konovalov","id":5751387,"node_id":"MDQ6VXNlcjU3NTEzODc=","avatar_url":"https://avatars1.githubusercontent.com/u/5751387?v=4","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"repo":{"id":31376246,"node_id":"MDEwOlJlcG9zaXRvcnkzMTM3NjI0Ng==","name":"gap","full_name":"alex-konovalov/gap","private":false,"owner":{"login":"alex-konovalov","id":5751387,"node_id":"MDQ6VXNlcjU3NTEzODc=","avatar_url":"https://avatars1.githubusercontent.com/u/5751387?v=4","gravatar_id":"","url":"https://api.github.com/users/alex-konovalov","html_url":"https://github.com/alex-konovalov","followers_url":"https://api.github.com/users/alex-konovalov/followers","following_url":"https://api.github.com/users/alex-konovalov/following{/other_user}","gists_url":"https://api.github.com/users/alex-konovalov/gists{/gist_id}","starred_url":"https://api.github.com/users/alex-konovalov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alex-konovalov/subscriptions","organizations_url":"https://api.github.com/users/alex-konovalov/orgs","repos_url":"https://api.github.com/users/alex-konovalov/repos","events_url":"https://api.github.com/users/alex-konovalov/events{/privacy}","received_events_url":"https://api.github.com/users/alex-konovalov/received_events","type":"User","site_admin":false},"html_url":"https://github.com/alex-konovalov/gap","description":null,"fork":true,"url":"https://api.github.com/repos/alex-konovalov/gap","forks_url":"https://api.github.com/repos/alex-konovalov/gap/forks","keys_url":"https://api.github.com/repos/alex-konovalov/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/alex-konovalov/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/alex-konovalov/gap/teams","hooks_url":"https://api.github.com/repos/alex-konovalov/gap/hooks","issue_events_url":"https://api.github.com/repos/alex-konovalov/gap/issues/events{/number}","events_url":"https://api.github.com/repos/alex-konovalov/gap/events","assignees_url":"https://api.github.com/repos/alex-konovalov/gap/assignees{/user}","branches_url":"https://api.github.com/repos/alex-konovalov/gap/branches{/branch}","tags_url":"https://api.github.com/repos/alex-konovalov/gap/tags","blobs_url":"https://api.github.com/repos/alex-konovalov/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/alex-konovalov/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/alex-konovalov/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/alex-konovalov/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/alex-konovalov/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/alex-konovalov/gap/languages","stargazers_url":"https://api.github.com/repos/alex-konovalov/gap/stargazers","contributors_url":"https://api.github.com/repos/alex-konovalov/gap/contributors","subscribers_url":"https://api.github.com/repos/alex-konovalov/gap/subscribers","subscription_url":"https://api.github.com/repos/alex-konovalov/gap/subscription","commits_url":"https://api.github.com/repos/alex-konovalov/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/alex-konovalov/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/alex-konovalov/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/alex-konovalov/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/alex-konovalov/gap/contents/{+path}","compare_url":"https://api.github.com/repos/alex-konovalov/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/alex-konovalov/gap/merges","archive_url":"https://api.github.com/repos/alex-konovalov/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/alex-konovalov/gap/downloads","issues_url":"https://api.github.com/repos/alex-konovalov/gap/issues{/number}","pulls_url":"https://api.github.com/repos/alex-konovalov/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/alex-konovalov/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/alex-konovalov/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/alex-konovalov/gap/labels{/name}","releases_url":"https://api.github.com/repos/alex-konovalov/gap/releases{/id}","deployments_url":"https://api.github.com/repos/alex-konovalov/gap/deployments","created_at":"2015-02-26T16:25:53Z","updated_at":"2018-12-07T12:27:12Z","pushed_at":"2018-12-19T10:33:40Z","git_url":"git://github.com/alex-konovalov/gap.git","ssh_url":"git@github.com:alex-konovalov/gap.git","clone_url":"https://github.com/alex-konovalov/gap.git","svn_url":"https://github.com/alex-konovalov/gap","homepage":null,"size":416637,"stargazers_count":0,"watchers_count":0,"language":"GAP","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"gap-system:master","ref":"master","sha":"09cc67352fb6c7d52ac78bd1ab61bc000ee513ef","user":{"login":"gap-system","id":5344223,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUzNDQyMjM=","avatar_url":"https://avatars2.githubusercontent.com/u/5344223?v=4","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"repo":{"id":31270208,"node_id":"MDEwOlJlcG9zaXRvcnkzMTI3MDIwOA==","name":"gap","full_name":"gap-system/gap","private":false,"owner":{"login":"gap-system","id":5344223,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUzNDQyMjM=","avatar_url":"https://avatars2.githubusercontent.com/u/5344223?v=4","gravatar_id":"","url":"https://api.github.com/users/gap-system","html_url":"https://github.com/gap-system","followers_url":"https://api.github.com/users/gap-system/followers","following_url":"https://api.github.com/users/gap-system/following{/other_user}","gists_url":"https://api.github.com/users/gap-system/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-system/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-system/subscriptions","organizations_url":"https://api.github.com/users/gap-system/orgs","repos_url":"https://api.github.com/users/gap-system/repos","events_url":"https://api.github.com/users/gap-system/events{/privacy}","received_events_url":"https://api.github.com/users/gap-system/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/gap-system/gap","description":"Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra","fork":false,"url":"https://api.github.com/repos/gap-system/gap","forks_url":"https://api.github.com/repos/gap-system/gap/forks","keys_url":"https://api.github.com/repos/gap-system/gap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gap-system/gap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gap-system/gap/teams","hooks_url":"https://api.github.com/repos/gap-system/gap/hooks","issue_events_url":"https://api.github.com/repos/gap-system/gap/issues/events{/number}","events_url":"https://api.github.com/repos/gap-system/gap/events","assignees_url":"https://api.github.com/repos/gap-system/gap/assignees{/user}","branches_url":"https://api.github.com/repos/gap-system/gap/branches{/branch}","tags_url":"https://api.github.com/repos/gap-system/gap/tags","blobs_url":"https://api.github.com/repos/gap-system/gap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gap-system/gap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gap-system/gap/git/refs{/sha}","trees_url":"https://api.github.com/repos/gap-system/gap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gap-system/gap/statuses/{sha}","languages_url":"https://api.github.com/repos/gap-system/gap/languages","stargazers_url":"https://api.github.com/repos/gap-system/gap/stargazers","contributors_url":"https://api.github.com/repos/gap-system/gap/contributors","subscribers_url":"https://api.github.com/repos/gap-system/gap/subscribers","subscription_url":"https://api.github.com/repos/gap-system/gap/subscription","commits_url":"https://api.github.com/repos/gap-system/gap/commits{/sha}","git_commits_url":"https://api.github.com/repos/gap-system/gap/git/commits{/sha}","comments_url":"https://api.github.com/repos/gap-system/gap/comments{/number}","issue_comment_url":"https://api.github.com/repos/gap-system/gap/issues/comments{/number}","contents_url":"https://api.github.com/repos/gap-system/gap/contents/{+path}","compare_url":"https://api.github.com/repos/gap-system/gap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gap-system/gap/merges","archive_url":"https://api.github.com/repos/gap-system/gap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gap-system/gap/downloads","issues_url":"https://api.github.com/repos/gap-system/gap/issues{/number}","pulls_url":"https://api.github.com/repos/gap-system/gap/pulls{/number}","milestones_url":"https://api.github.com/repos/gap-system/gap/milestones{/number}","notifications_url":"https://api.github.com/repos/gap-system/gap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gap-system/gap/labels{/name}","releases_url":"https://api.github.com/repos/gap-system/gap/releases{/id}","deployments_url":"https://api.github.com/repos/gap-system/gap/deployments","created_at":"2015-02-24T16:47:50Z","updated_at":"2018-12-19T10:14:47Z","pushed_at":"2018-12-19T10:15:25Z","git_url":"git://github.com/gap-system/gap.git","ssh_url":"git@github.com:gap-system/gap.git","clone_url":"https://github.com/gap-system/gap.git","svn_url":"https://github.com/gap-system/gap","homepage":"https://www.gap-system.org","size":405979,"stargazers_count":261,"watchers_count":261,"language":"GAP","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":88,"mirror_url":null,"archived":false,"open_issues_count":359,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":88,"open_issues":359,"watchers":261,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/gap-system/gap/pulls/3124"},"html":{"href":"https://github.com/gap-system/gap/pull/3124"},"issue":{"href":"https://api.github.com/repos/gap-system/gap/issues/3124"},"comments":{"href":"https://api.github.com/repos/gap-system/gap/issues/3124/comments"},"review_comments":{"href":"https://api.github.com/repos/gap-system/gap/pulls/3124/comments"},"review_comment":{"href":"https://api.github.com/repos/gap-system/gap/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/gap-system/gap/pulls/3124/commits"},"statuses":{"href":"https://api.github.com/repos/gap-system/gap/statuses/0ec878eb1e569c35a14130431abb740a49d3e651"}},"author_association":"MEMBER","merged":false,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"maintainer_can_modify":true,"commits":1,"additions":3,"deletions":3,"changed_files":2}}
{"actor":{"display_login":"alex-konovalov"}}