Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[qdistrnd] New package, version 0.9.2 #852

Merged
merged 1 commit into from
Jan 20, 2024
Merged

[qdistrnd] New package, version 0.9.2 #852

merged 1 commit into from
Jan 20, 2024

Conversation

gap-package-distribution-bot[bot]
Copy link
Contributor

@gap-package-distribution-bot gap-package-distribution-bot bot commented Dec 14, 2023 •
edited
Loading

@gap-package-distribution-bot gap-package-distribution-bot bot added automated pr Automatically applied to PRs created by a GH workflow new package labels Dec 14, 2023
@gap-package-distribution-bot gap-package-distribution-bot bot changed the title [qdistrnd] New package, version 0.8.5 [qdistrnd] New package, version 0.8.7 Dec 21, 2023
@fingolfin fingolfin mentioned this pull request Jan 8, 2024
Merged
@gap-package-distribution-bot gap-package-distribution-bot bot changed the title [qdistrnd] New package, version 0.8.7 [qdistrnd] New package, version 0.9.0 Jan 13, 2024
@fingolfin fingolfin mentioned this pull request Jan 14, 2024
Closed
@gap-package-distribution-bot gap-package-distribution-bot bot changed the title [qdistrnd] New package, version 0.9.0 [qdistrnd] New package, version 0.9.1 Jan 15, 2024
@gap-package-distribution-bot GAP Package Distribution Bot
Copy link
Contributor Author

gap-package-distribution-bot bot commented Jan 16, 2024 •
edited
Loading

Package Evaluation Report for GAP master

Job Properties

Testing: master/2024-01-20-09:03:07-9b741465 vs master/2024-01-20-02:44:15-90c00533

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

In total, 157 packages were tested, out of which 153 succeeded, 0 failed and 4 were skipped.

New Packages

✔️ Packages still succeeding

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

Click to show packages!

➖ Packages that were skipped

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

Click to show packages!

@fingolfin
Copy link
Member

@LeonidPryadko great, now it works :-)

@fingolfin
Copy link
Member

@LeonidPryadko oh no, apologies, my mistake, I misread: it still says "failure", due to the issue describe at QEC-pages/QDistRnd#36 (comment)

@gap-package-distribution-bot gap-package-distribution-bot bot changed the title [qdistrnd] New package, version 0.9.1 [qdistrnd] New package, version 0.9.2 Jan 20, 2024
@fingolfin
Copy link
Member

Success! Finally :-)

@fingolfin fingolfin merged commit 8783099 into main Jan 20, 2024
311 of 312 checks passed
@fingolfin fingolfin deleted the automatic/qdistrnd branch January 20, 2024 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
automated pr Automatically applied to PRs created by a GH workflow new package
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@fingolfin