Fedora Account System
Red Hat Associate
Red Hat Customer
Spec URL: https://rathann.fedorapeople.org/review/rust-hax-lib/rust-hax-lib.spec SRPM URL: https://rathann.fedorapeople.org/review/rust-hax-lib/rust-hax-lib-0.3.7-1.fc45.src.rpm Description: This crate contains helpers that can be used when writing Rust code that is proven through the hax toolchain. Fedora Account System Username: rathann
Copr build: https://copr.fedorainfracloud.org/coprs/build/10584376 (failed) Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-review-2487317-rust-hax-lib/fedora-rawhide-x86_64/10584376-rust-hax-lib/builder-live.log.gz Please make sure the package builds successfully at least for Fedora Rawhide. - If the build failed for unrelated reasons (e.g. temporary network unavailability), please ignore it. - If the build failed because of missing BuildRequires, please make sure they are listed in the "Depends On" field --- This comment was created by the fedora-review-service https://github.com/FrostyX/fedora-review-service If you want to trigger a new Copr build, add a comment containing new Spec and SRPM URLs or [fedora-review-service-build] string.
> # FIXME: no license files detected You have to actually fix this. Use a similar approach to bug 2487230, and please cite https://github.com/cryspen/hax/pull/2106. In a quick examination, I didn’t see any other obvious issues.