Skip to content
FASTEN_CI

com.mbeddr.formal.nusmv: update the build script #806

Sign in to view logs

com.mbeddr.formal.nusmv: update the build script

com.mbeddr.formal.nusmv: update the build script #806

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_fasten_distribution_and_perform_checks
12m 0s
build_fasten_assurance_package
5m 26s
17m 26s