CI

Typechecking ProVerif model for `tls13handshake` #209

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (ubuntu-latest, stable)	1m 29s
test (macos-latest, stable)	2m 33s
test (windows-latest, stable)	3m 56s
audit	22s
lint	1m 6s
benchmark (ubuntu-latest)	3m 33s
benchmark (macos-latest)	2m 59s
benchmark (windows-latest)	18m 38s
	34m 36s