Skip to content
CI

Ltl there modifier #334

Sign in to view logs

Ltl there modifier

Ltl there modifier #334

Triggered via pull request February 16, 2024 14:39
@mmontinmmontin
opened #370
there
Status Success
Total duration 4m 21s
Artifacts 2

ci.yml

on: pull_request
Cache minimal Nix dependencies
42s
Cache minimal Nix dependencies
Run and cache flake checks
26s
Run and cache flake checks
Build and run tests
3m 13s
Build and run tests
Cache all Nix dependencies
1m 4s
Cache all Nix dependencies
Build and deploy documentation
1m 52s
Build and deploy documentation
Check tests output
2s
Check tests output
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Run and cache flake checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Cache minimal Nix dependencies
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Cache all Nix dependencies
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and deploy documentation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and run tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, cachix/cachix-action@v12, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check tests output
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
cooked-validators-checks Expired
32.9 KB
documentation Expired
5.77 MB