Skip to content
FASTEN_CI

com.mbeddr.formal.nusmv.import: Use a static instance for the NuSVMPa… #810

Sign in to view logs

com.mbeddr.formal.nusmv.import: Use a static instance for the NuSVMPa…

com.mbeddr.formal.nusmv.import: Use a static instance for the NuSVMPa… #810

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_fasten_distribution_and_perform_checks
13m 36s
build_fasten_assurance_package
5m 9s
18m 45s