Skip to content
Test external projects

handle SIGINT and SIGTERM (#210) #206

Sign in to view logs

handle SIGINT and SIGTERM (#210)

handle SIGINT and SIGTERM (#210) #206

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (morpho-org/morpho-data-structures, morpho-data-structures, halmos --function testProve --lo...
2m 53s
test (morpho-org/morpho-data-structures, morpho-data-structures, halmos --function testProve --lo...
2m 53s
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)
15m 51s
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)
15m 51s
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)
29m 40s
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)
29m 40s
test (farcasterxyz/contracts, farcaster-contracts, halmos)
45m 34s
test (farcasterxyz/contracts, farcaster-contracts, halmos)
30m 20s
test (zobront/halmos-solady, halmos-solady, halmos --function testCheck)
2m 44s
test (zobront/halmos-solady, halmos-solady, halmos --function testCheck)
2m 44s
2h 58m 10s