[groupoids] Update to 1.76 (#1036) #1518

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master / Build GAP and packages	10m 37s
master / 4ti2interface	1m 39s
master / ace	1m 13s
master / aclib	1m 14s
master / agt	1m 21s
master / alnuth	1m 23s
master / anupq	1m 11s
master / atlasrep	4m 58s
master / autodoc	1m 11s
master / automata	1m 5s
master / automgrp	1m 23s
master / autpgrp	1m 28s
master / cap	1m 19s
master / caratinterface	51s
master / cddinterface	1m 33s
master / circle	1m 58s
master / classicpres	1m 36s
master / cohomolo	48s
master / congruence	1m 7s
master / corefreesub	5m 4s
master / corelg	1m 18s
master / crime	45s
master / crisp	1m 51s
master / crypting	1m 19s
master / cryst	1m 55s
master / crystcat	56s
master / ctbllib	4m 46s
master / cubefree	5m 20s
master / curlinterface	1m 16s
master / cvec	3m 11s
master / datastructures	1m 19s
master / deepthought	5m 40s
master / design	2m 56s
master / difsets	1m 12s
master / digraphs	2m 9s
master / edim	1m 27s
master / example	1m 6s
master / examplesforhomalg	3m 18s
master / factint	1m 20s
master / ferret	2m 13s
master / fga	43s
master / fining	2m 55s
master / float	1m 34s
master / format	1m 26s
master / forms	4m 13s
master / fplsa	43s
master / fr	2m 53s
master / francy	1m 14s
master / fwtree	55s
master / gapdoc	1m 42s
master / gauss	1m 42s
master / gaussforhomalg	1m 6s
master / gbnp	3m 28s
master / generalizedmorphismsforcap	1m 11s
master / genss	2m 39s
master / gradedmodules	5m 39s
master / gradedringforhomalg	1m 54s
master / grape	2m 4s
master / groupoids	1m 16s
master / grpconst	3m 12s
master / guarana	1m 48s
master / guava	58s
master / hap	3m 38s
master / hapcryst	3m 18s
master / hecke	55s
master / help	1m 34s
master / homalg	1m 15s
master / homalgtocas	1m 29s
master / idrel	1m 3s
master / images	3m 50s
master / intpic	1m 7s
master / io	1m 34s
master / io_forhomalg	1m 6s
master / irredsol	1m 45s
master / json	1m 35s
master / jupyterkernel	1m 23s
master / jupyterviz	1m 16s
master / kan	1m 55s
master / kbmag	56s
master / laguna	4m 4s
master / liealgdb	50s
master / liepring	1m 42s
master / liering	1m 16s
master / linearalgebraforcap	1m 59s
master / lins	7m 1s
master / localizeringforhomalg	1m 20s
master / loops	1m 37s
master / lpres	1m 14s
master / majoranaalgebras	1m 58s
master / mapclass	1m 1s
master / matgrp	3m 12s
master / matricesforhomalg	1m 15s
master / modisom	1m 5s
master / modulepresentationsforcap	1m 12s
master / modules	1m 38s
master / monoidalcategories	1m 40s
master / nconvex	1m 18s
master / nilmat	1m 59s
master / nock	1m 20s
master / normalizinterface	48s
master / nq	1m 59s
master / numericalsgps	1m 38s
master / openmath	1m 27s
master / orb	1m 1s
master / packagemanager	2m 44s
master / patternclass	1m 55s
master / permut	58s
master / polenta	57s
master / polymaking	3m 37s
master / primgrp	6m 31s
master / profiling	3m 44s
master / qdistrnd	1m 43s
master / qpa	1m 30s
master / quagroup	2m 4s
master / radiroot	48s
master / rcwa	2m 20s
master / rds	1m 22s
master / recog	2m 24s
master / repndecomp	1m 46s
master / repsn	46s
master / resclasses	1m 27s
master / ringsforhomalg	1m 37s
master / sco	1m 43s
master / scscp	1m 26s
master / semigroups	3m 24s
master / sglppow	3m 13s
master / sgpviz	1m 42s
master / simpcomp	1m 41s
master / singular	1m 26s
master / sl2reps	1m 8s
master / sla	7m 18s
master / smallantimagmas	1m 8s
master / smallgrp	2m 19s
master / smallsemi	1m 17s
master / sonata	1m 2s
master / sophus	2m 7s
master / sotgrps	3m 55s
master / spinsym	1m 42s
master / standardff	1m 17s
master / symbcompcc	46s
master / thelma	1m 6s
master / tomlib	1m 48s
master / toolsforhomalg	43s
master / toric	42s
master / toricvarieties	2m 44s
master / transgrp	1m 49s
master / typeset	1m 29s
master / ugaly	1m 58s
master / unipot	43s
master / unitlib	5m 41s
master / utils	2m 7s
master / uuid	1m 37s
master / walrus	2m 7s
master / wedderga	4m 18s
master / xmod	6m 4s
master / xmodalg	1m 30s
master / yangbaxter	3m 17s
master / zeromqinterface	1m 8s
master / Generate report	14s
Upload master report / Upload report	13s
	5h 26m 49s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[groupoids] Update to 1.76 (#1036) #1518

Usage

[groupoids] Update to 1.76 (#1036) #1518

Jobs

Run details

Run time