Skip to content

Bump version to v3.0.0 #392

Bump version to v3.0.0

Bump version to v3.0.0 #392

Triggered via push March 22, 2024 09:46
Status Success
Total duration 55m 40s
Artifacts 2

ci.yml

on: push
Cache minimal Nix dependencies
38s
Cache minimal Nix dependencies
Run and cache flake checks
23s
Run and cache flake checks
Build and run tests
44m 56s
Build and run tests
Cache all Nix dependencies
1m 12s
Cache all Nix dependencies
Build and deploy documentation
54m 45s
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.3 KB
documentation Expired
627 KB