nix: Fix HTTP server demo disk image #464
push.yaml
on: pull_request
Check licenses
18s
Check source
2m 51s
Run other tests
8m 45s
Build docs
1m 35s
Deploy docs
0s
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.
|