Skip to content
CI

New initial distributions with datums and reference scripts (#383) #375

Sign in to view logs

New initial distributions with datums and reference scripts (#383)

New initial distributions with datums and reference scripts (#383) #375

Triggered via push March 20, 2024 13:17
@mmontinmmontin
pushed c064a94
main
Status Success
Total duration 55m 59s
Artifacts 2

ci.yml

on: push
Cache minimal Nix dependencies
40s
Cache minimal Nix dependencies
Run and cache flake checks
20s
Run and cache flake checks
Build and run tests
45m 46s
Build and run tests
Cache all Nix dependencies
1m 13s
Cache all Nix dependencies
Build and deploy documentation
55m 2s
Build and deploy documentation
Check tests output
3s
Check tests output
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build and run tests
No push credentials found. Ignoring the 'useDaemon' option.
Build and deploy documentation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: peaceiris/actions-gh-pages@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and deploy documentation
No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime
Name Size
cooked-validators-checks Expired
22.4 KB
documentation Expired
626 KB