Default Build Source
-
- Source Type:
- Build from an SCM repository
- SCM type:
- git
- Clone URL:
- https://src.fedoraproject.org/rpms/cvc4.git
- Committish:
- rawhide
- Build SRPM with:
- rpkg
| Build ID |
Package Version |
Submitted |
Build Time |
Status |
|
3201204
|
1.8-8.fc34
|
2 years ago |
a minute |
failed
|
|
3246189
|
1.8-8.fc34
|
2 years ago |
2 minutes |
failed
|
|
3254092
|
1.8-8.fc34
|
2 years ago |
35 minutes |
succeeded
|
|
3256411
|
1.8-8.fc34
|
2 years ago |
34 minutes |
succeeded
|
|
3329482
|
1.8-9.fc35
|
2 years ago |
an hour |
succeeded
|
Status Badge
- HTML Code:
-
- Markdown Code:
-