Skip to content

Navigation Menu

Appearance settings

GitHub Copilot
Write better code with AI

GitHub Spark New
Build and deploy intelligent apps

GitHub Models New
Manage and compare prompts

GitHub Advanced Security
Find and fix vulnerabilities

Actions
Automate any workflow
Codespaces
Instant dev environments

Issues
Plan and track work

Code Review
Manage code changes

Discussions
Collaborate outside of code

Code Search
Find more, search less
Explore

Why GitHub

Documentation

GitHub Skills

Blog
Integrations

GitHub Marketplace
View all features
By company size

Enterprises

Small and medium teams

Startups

Nonprofits
By use case

DevSecOps

DevOps

CI/CD

View all use cases
By industry

Healthcare

Financial services

Manufacturing

Government

View all industries
View all solutions
Topics

AI

DevOps

Security

Software Development

View all
Explore

Learning Pathways

Events & Webinars

Ebooks & Whitepapers

Customer Stories

Partners

Executive Insights
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories

Topics

Trending

Collections
Enterprise platform
AI-powered developer platform
Available add-ons

GitHub Advanced Security
Enterprise-grade security features

Copilot for business
Enterprise-grade AI features

Premium Support
Enterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

gap-system / PackageDistro Public

Notifications You must be signed in to change notification settings
Fork 8
Star 6

Code
Issues 30
Pull requests 4
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Test all and report status

[cap_project] Update MonoidalCategories to 2025.07-01 (#1153) #1907

Sign in to view logs

Sign in to view logs

[cap_project] Update MonoidalCategories to 2025.07-01 (#1153)

[cap_project] Update MonoidalCategories to 2025.07-01 (#1153) #1907

Uh oh!

There was an error while loading. Please reload this page.

Summary
Jobs
- Build GAP and packages
  
  4ti2interface
  
  ace
  
  aclib
  
  agt
  
  alco
  
  alnuth
  
  anupq
  
  atlasrep
  
  autodoc
  
  automata
  
  automgrp
  
  autpgrp
  
  cap
  
  caratinterface
  
  cddinterface
  
  circle
  
  classicpres
  
  cohomolo
  
  congruence
  
  corefreesub
  
  corelg
  
  crime
  
  crisp
  
  crypting
  
  cryst
  
  crystcat
  
  ctbllib
  
  cubefree
  
  curlinterface
  
  cvec
  
  datastructures
  
  deepthought
  
  design
  
  difsets
  
  digraphs
  
  edim
  
  example
  
  examplesforhomalg
  
  factint
  
  ferret
  
  fga
  
  fining
  
  float
  
  format
  
  forms
  
  fplsa
  
  fr
  
  francy
  
  fwtree
  
  gapdoc
  
  gauss
  
  gaussforhomalg
  
  gbnp
  
  generalizedmorphismsforcap
  
  genss
  
  gradedmodules
  
  gradedringforhomalg
  
  grape
  
  groupoids
  
  grpconst
  
  guarana
  
  guava
  
  hap
  
  hapcryst
  
  hecke
  
  help
  
  homalg
  
  homalgtocas
  
  ibnp
  
  idrel
  
  images
  
  intpic
  
  io
  
  io_forhomalg
  
  irredsol
  
  json
  
  jupyterkernel
  
  jupyterviz
  
  kan
  
  kbmag
  
  laguna
  
  liealgdb
  
  liepring
  
  liering
  
  linearalgebraforcap
  
  lins
  
  localizeringforhomalg
  
  loops
  
  lpres
  
  majoranaalgebras
  
  mapclass
  
  matgrp
  
  matricesforhomalg
  
  modisom
  
  modulepresentationsforcap
  
  modules
  
  monoidalcategories
  
  nconvex
  
  nilmat
  
  nock
  
  normalizinterface
  
  nq
  
  numericalsgps
  
  openmath
  
  orb
  
  packagemanager
  
  patternclass
  
  permut
  
  polenta
  
  polymaking
  
  primgrp
  
  profiling
  
  qdistrnd
  
  qpa
  
  quagroup
  
  radiroot
  
  rcwa
  
  rds
  
  recog
  
  repndecomp
  
  repsn
  
  resclasses
  
  ringsforhomalg
  
  sco
  
  scscp
  
  semigroups
  
  sglppow
  
  sgpviz
  
  simpcomp
  
  singular
  
  sl2reps
  
  sla
  
  smallantimagmas
  
  smallgrp
  
  smallsemi
  
  sonata
  
  sophus
  
  sotgrps
  
  spinsym
  
  standardff
  
  symbcompcc
  
  thelma
  
  tomlib
  
  toolsforhomalg
  
  toric
  
  transgrp
  
  typeset
  
  ugaly
  
  unipot
  
  unitlib
  
  utils
  
  uuid
  
  walrus
  
  wedderga
  
  wpe
  
  xmod
  
  xmodalg
  
  yangbaxter
  
  zeromqinterface
  
  Generate report
- Upload report
Run details
- Usage
- Workflow file

Usage Workflow file

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...

You can’t perform that action at this time.