Skip to content

Nightly

Nightly #57

Triggered via schedule April 25, 2026 04:38
Status Failure
Total duration 7m 41s
Artifacts

nightly.yml

on: schedule
Rust Coverage
3m 31s
Rust Coverage
TypeScript Coverage
28s
TypeScript Coverage
Snapshot Regression
4m 6s
Snapshot Regression
Property Tests (extended)
7m 37s
Property Tests (extended)
Formal Verification (Kani)
31s
Formal Verification (Kani)
E2E — Web Mode
5m 14s
E2E — Web Mode
Migration Integrity
1m 28s
Migration Integrity
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
TypeScript Coverage
Process completed with exit code 1.
Formal Verification (Kani)
Process completed with exit code 2.
E2E — Web Mode
Process completed with exit code 1.
TypeScript Coverage
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: pnpm/action-setup@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Rust Coverage
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: codecov/codecov-action@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
E2E — Web Mode
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4, pnpm/action-setup@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
E2E — Web Mode
No files were found with the provided path: playwright-report/. No artifacts will be uploaded.