frawarespeccursor.yml
on: release
Matrix: Unit Tests
Code Quality & Security
3s
Matrix: Build & Package
Matrix: End-to-End Tests
Notifications
11s
Annotations
12 errors and 1 warning
|
Unit Tests (rust)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (node)
The strategy configuration was canceled because "unit-tests.rust" failed
|
|
Unit Tests (node)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Code Quality & Security
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (go)
The strategy configuration was canceled because "unit-tests.rust" failed
|
|
Unit Tests (go)
The operation was canceled.
|
|
Unit Tests (python)
The strategy configuration was canceled because "unit-tests.rust" failed
|
|
Unit Tests (python)
A task was canceled.
|
|
Unit Tests (lean)
The strategy configuration was canceled because "unit-tests.rust" failed
|
|
Unit Tests (lean)
A task was canceled.
|
|
Notifications
Process completed with exit code 127.
|
|
Notifications
Dependencies lock file is not found in /home/runner/work/speccursor/speccursor. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock
|
|
Notifications
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, actions/setup-node@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/
|