Skip to content
Artifact Image

regenerates the DH spec and adapts the Gobra proof #226

Sign in to view logs

regenerates the DH spec and adapts the Gobra proof

regenerates the DH spec and adapts the Gobra proof #226

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 17s
Verify SSM Agent protocol model
6m 49s
Verify SSM Agent core
4m 29s
Verify DH core
1m 8s
Verify SSM Agent I/O independence
2m 4s
Verify SSM Agent I/O independence bugs
2m 54s
Verify DH protocol model
1m 19s
Verify SSM Agent core assumptions bugs
5m 55s
Verify SSM Agent core assumptions
7m 20s
Verify DH I/O independence bugs
1m 9s
Verify DH I/O independence
1m 3s
Verify DH core assumptions bugs
1m 26s
Verify DH core assumptions
1m 5s
Publish
1m 22s
Cleanup
3s
39m 23s