Skip to content
CI

Bump Nixpkgs #490

Sign in to view logs

Bump Nixpkgs

Bump Nixpkgs #490

Triggered via pull request September 18, 2024 12:27
@nspinnspin
opened #191
nspin:pr/bump-nixpkgs
Status Failure
Total duration 21m 4s
Artifacts –

push.yaml

on: pull_request
Check licenses
15s
Check licenses
Check source
3m 41s
Check source
Run other tests
20m 50s
Run other tests
Build docs
10m 54s
Build docs
Check dependencies
3m 30s
Check dependencies
Check Kani proofs
3m 14s
Check Kani proofs
Build everything
0s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 warnings
Check licenses
Action license-check failed.
Check Kani proofs
Process completed with exit code 2.
Check Kani proofs
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.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.