thrnciar/python-scikit-build

Project ID: 77585

Package: cvc5

General Information

Dist Git Repo:
thrnciar/python-scikit-build/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 Submitted Build Time Status
8031140 1.1.2-5 6 months ago 15 minutes succeeded
8031145 1.1.2-5 6 months ago 33 minutes failed
8074119 1.2.0-1 6 months ago an hour succeeded
8473368 1.2.0-2 2 months ago 31 minutes succeeded
8510541 1.2.0-3 2 months ago 36 minutes succeeded
8588452 1.2.1-1 a month ago a minute failed
8719160 1.2.1-3 27 days ago 46 minutes succeeded
8723600 1.2.1-3 26 days ago an hour succeeded

Status Badge

HTML Code:
Markdown Code: