gap-system / GapWWW

Source for the GAP website
https://www.gap-system.org
Other
11 stars 26 forks source link

Sync data from GAP's GitHub release system #340

Closed github-actions[bot] closed 6 months ago

github-actions[bot] commented 6 months ago

Automatically created by a GitHub Actions workflow, using with the GAP release script dev/release/update_website.py. You may wish to squash and merge this pull request, in order to give it a more descriptive commit message.