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

Triggered via pull request October 31, 2023 11:05
@FirstyearFirstyear
synchronize #380
Firstyear:20231031-kani-release
Status Failure
Total duration 4m 26s
Artifacts –

ci.yml

on: pull_request
rustfmt
8s
rustfmt
Matrix: webauthn-authenticator-rs test
Matrix: Other build/test
Matrix: Documentation
Fit to window
Zoom out
Zoom in

Annotations

32 errors
Other build/test (1.70.0, ubuntu-latest)
Process completed with exit code 101.
Documentation (nightly)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, softpasskey, ubuntu-latest)
Process completed with exit code 101.
Documentation (stable)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, softtoken, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, usb, ubuntu-latest)
Process completed with exit code 101.
Other build/test (stable, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, bluetooth,nfc,usb,ctap2-management, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, bluetooth,nfc,usb,ctap2-management, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, nfc, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, cable, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, bluetooth, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (1.70.0, bluetooth, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, nfc, ubuntu-latest)
Process completed with exit code 101.
Other build/test (1.70.0, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, softpasskey, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, cable, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, bluetooth,cable,cable-override-tunnel,ctap2-management,nf...
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, softtoken, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (stable, bluetooth, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, bluetooth,nfc,usb,ctap2-management, windows-latest)
Process completed with exit code 1.
Other build/test (stable, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, usb, ubuntu-latest)
Process completed with exit code 101.
webauthn-authenticator-rs test (windows-latest, win10, stable)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, cable, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, nfc, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, softtoken, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, softpasskey, windows-latest)
Process completed with exit code 1.
webauthn-authenticator-rs test (windows-latest, bluetooth,cable,ctap2-management,nfc,softpasskey,...
Process completed with exit code 1.
webauthn-authenticator-rs test (stable, usb, windows-latest)
Process completed with exit code 1.