@python/python-in-pulp

Project ID: 183747

Package: cvc5

General Information

Dist Git Repo:
@python/python-in-pulp/cvc5
Webhook rebuild:
Yes

Default Build Source

Source Type:
Build from DistGit
Distgit:
fedora
Committish:
rawhide
Clone_Url:
https://src.fedoraproject.org/rpms/cvc5.git
Build ID Package Version Subproject Submitted Build Time Status
9206141 1.2.1-6 - 3 months ago 38 minutes succeeded
9235638 1.3.0-1 - 2 months ago 47 minutes succeeded
9289809 1.3.0-1 - 2 months ago 10 minutes failed
9351580 1.3.0-3 - 2 months ago 5 hours succeeded
9501944 1.3.0-4 - a month ago an hour succeeded
9601071 1.3.1-1 - 6 days ago 52 minutes succeeded

Status Badge

HTML Code:
Markdown Code: