mywaaagh_admin/pypi

Project ID: 6

Package: python-certora-cli

General Information

Dist Git Repo:: mywaaagh_admin/pypi/python-certora-cli

Default Build Source

Source Type:: Build from PyPI
PyPI package name: certora-cli
Spec generator: pyporter

Build ID	Package Version	Submitted	Build Time	Status
24433	-	3 years ago	27 seconds	failed
49800	3.6.8-1	3 years ago	5 hours	failed

Status Badge

HTML Code:: <a href="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-certora-cli/"><img src="https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-certora-cli/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-certora-cli/status_image/last_build.png)](https://eur.openeuler.openatom.cn/coprs/mywaaagh_admin/pypi/package/python-certora-cli/)