Skip to content

feat: research and design for TLA+ TypeScript bindings (Refs #671) #410

feat: research and design for TLA+ TypeScript bindings (Refs #671)

feat: research and design for TLA+ TypeScript bindings (Refs #671) #410

Triggered via push March 14, 2026 14:12
Status Failure
Total duration 24m 25s
Artifacts 2

ci-main.yml

on: push
Build Setup
8s
Build Setup
Matrix: rust-build
Integration Tests
0s
Integration Tests
Docker Build
0s
Docker Build
Build Summary
5s
Build Summary
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Security Scan
Process completed with exit code 1.
Rust Build (x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build Summary
Process completed with exit code 1.
Frontend Build
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/setup-node@v4, actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 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/
WASM Build
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, jetli/wasm-pack-action@v0.4.0. Actions will be forced to run with Node.js 24 by default starting June 2nd, 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 Build (x86_64-unknown-linux-gnu)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4, actions/download-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 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/

Artifacts

Produced during runtime
Name Size Digest
frontend-dist Expired
2.7 MB
sha256:1d815661fe37342ec711c7d8a9e235e18ad818b613921dcc39ff8861a2e4da09
wasm-package Expired
134 KB
sha256:2cd543a09830ca50442241083724e9bc1dcc953b2036eaa88b992544ceb02d59