feat/initial commit #2
frawarespeccursor.yml
on: push
Matrix: Unit Tests
Code Quality & Security
4s
Matrix: Build & Package
Matrix: End-to-End Tests
Notifications
4s
Annotations
10 errors
|
Unit Tests (node)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (node)
The strategy configuration was canceled because "unit-tests.python" failed
|
|
Unit Tests (lean)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (lean)
The strategy configuration was canceled because "unit-tests.python" failed
|
|
Unit Tests (python)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (rust)
The strategy configuration was canceled because "unit-tests.python" failed
|
|
Unit Tests (go)
The strategy configuration was canceled because "unit-tests.python" failed
|
|
Code Quality & Security
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Notifications
Process completed with exit code 127.
|
|
Notifications
Dependencies lock file is not found in /home/runner/work/specursor/specursor. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock
|