Skip to content

ci: Use Kani with Nix #414

ci: Use Kani with Nix

ci: Use Kani with Nix #414

Re-run triggered June 5, 2024 18:14
Status Success
Total duration 14m 3s
Artifacts

push.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
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.