Skip to content
CI

Minor changes for kani release #1002

Sign in to view logs

Minor changes for kani release

Minor changes for kani release #1002

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rustfmt
8s
Documentation (stable)
54s
Other build/test (stable, ubuntu-latest)
58s
Documentation (nightly)
48s
Other build/test (stable, windows-latest)
2m 12s
webauthn-authenticator-rs test (stable, bluetooth, ubuntu-latest)
1m 8s
Other build/test (1.70.0, ubuntu-latest)
48s
webauthn-authenticator-rs test (stable, bluetooth, windows-latest)
1m 54s
Other build/test (1.70.0, windows-latest)
1m 50s
webauthn-authenticator-rs test (stable, cable, ubuntu-latest)
53s
webauthn-authenticator-rs test (stable, cable, windows-latest)
2m 8s
webauthn-authenticator-rs test (stable, nfc, ubuntu-latest)
53s
webauthn-authenticator-rs test (stable, nfc, windows-latest)
2m 6s
webauthn-authenticator-rs test (stable, softpasskey, ubuntu-latest)
56s
webauthn-authenticator-rs test (stable, softpasskey, windows-latest)
2m 38s
webauthn-authenticator-rs test (stable, softtoken, ubuntu-latest)
1m 5s
webauthn-authenticator-rs test (stable, softtoken, windows-latest)
2m 12s
webauthn-authenticator-rs test (stable, usb, ubuntu-latest)
1m 15s
webauthn-authenticator-rs test (stable, usb, windows-latest)
3m 6s
webauthn-authenticator-rs test (stable, bluetooth,nfc,usb,ctap2-management, ubuntu-latest)
57s
webauthn-authenticator-rs test (stable, bluetooth,nfc,usb,ctap2-management, windows-latest)
2m 6s
webauthn-authenticator-rs test (stable, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
53s
webauthn-authenticator-rs test (stable, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
1m 59s
webauthn-authenticator-rs test (1.70.0, bluetooth, ubuntu-latest)
1m 9s
webauthn-authenticator-rs test (1.70.0, cable, ubuntu-latest)
1m 5s
webauthn-authenticator-rs test (1.70.0, nfc, ubuntu-latest)
1m 3s
webauthn-authenticator-rs test (1.70.0, softpasskey, ubuntu-latest)
52s
webauthn-authenticator-rs test (1.70.0, softtoken, ubuntu-latest)
53s
webauthn-authenticator-rs test (1.70.0, usb, ubuntu-latest)
55s
webauthn-authenticator-rs test (1.70.0, bluetooth,nfc,usb,ctap2-management, ubuntu-latest)
1m 1s
webauthn-authenticator-rs test (1.70.0, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
55s
webauthn-authenticator-rs test (windows-latest, win10, stable)
1m 11s
webauthn-authenticator-rs test (windows-latest, bluetooth,cable,ctap2-management,nfc,softpasskey,...
2m 40s
45m 31s