Skip to content
FASTEN_CI

com.mbeddr.formal.nusmv.importer.rt: Upgrade asm from 7.0 to 9.2 to a… #804

Sign in to view logs

com.mbeddr.formal.nusmv.importer.rt: Upgrade asm from 7.0 to 9.2 to a…

com.mbeddr.formal.nusmv.importer.rt: Upgrade asm from 7.0 to 9.2 to a… #804

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_fasten_distribution_and_perform_checks
12m 13s
build_fasten_assurance_package
4m 38s
16m 51s