Skip to content

Merge remote-tracking branch 'gnu/master' into pull-upstream #454

Merge remote-tracking branch 'gnu/master' into pull-upstream

Merge remote-tracking branch 'gnu/master' into pull-upstream #454

Triggered via push April 12, 2024 08:25
Status Success
Total duration 23m 21s
Artifacts

checks.yaml

on: push
Matrix: nix-build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
nix-build (ubuntu-latest)
No push credentials found. Ignoring the 'useDaemon' option.
nix-build (macos-latest)
No push credentials found. Ignoring the 'useDaemon' option.