Skip to content

nix: Re-enable panicking tests #581

nix: Re-enable panicking tests

nix: Re-enable panicking tests #581

Triggered via pull request November 14, 2024 23:58
Status Failure
Total duration 14m 24s
Artifacts

push.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 6 warnings
Build everything
Process completed with exit code 2.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Check Kani proofs
No push credentials found. Ignoring the 'useDaemon' option.
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.
Build everything
No push credentials found. Ignoring the 'useDaemon' option.