Skip to content

[nofoma] New package, version 1.0.1#1374

Open
gap-package-distribution-bot[bot] wants to merge 1 commit into
mainfrom
automatic/nofoma
Open

[nofoma] New package, version 1.0.1#1374
gap-package-distribution-bot[bot] wants to merge 1 commit into
mainfrom
automatic/nofoma

Conversation

@gap-package-distribution-bot
Copy link
Copy Markdown
Contributor

@gap-package-distribution-bot gap-package-distribution-bot Bot commented May 18, 2026

@gap-package-distribution-bot gap-package-distribution-bot Bot added automated pr Automatically applied to PRs created by a GH workflow new package labels May 18, 2026
@gap-package-distribution-bot
Copy link
Copy Markdown
Contributor Author

gap-package-distribution-bot Bot commented May 18, 2026

Package Evaluation Report for GAP master

Job Properties

Testing: master/2026-05-19-08:31:02-59aa7116 vs master/2026-05-19-03:29:50-57bf5dda

Generated by Workflow: https://github.com/gap-system/PackageDistro/actions/runs/26076986479

In total, 170 packages were tested, out of which 167 succeeded, 0 failed and 3 were skipped.

New Packages

✔️ Packages still succeeding

166 package(s) succeeded tests also on the previous version.

Click to show packages!

➖ Packages that were skipped

3 package(s) skipped tests also on the previous version.

Click to show packages!

@gap-package-distribution-bot gap-package-distribution-bot Bot changed the title [nofoma] New package, version 1.0 [nofoma] New package, version 1.0.1 May 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated pr Automatically applied to PRs created by a GH workflow new package

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants