feat/initial commit #1
frawarespeccursor.yml
on: push
Matrix: Unit Tests
Code Quality & Security
2s
Matrix: Build & Package
Matrix: End-to-End Tests
Notifications
5s
Annotations
8 errors
|
Unit Tests (node)
The strategy configuration was canceled because "unit-tests.go" failed
|
|
Unit Tests (rust)
Unable to resolve action `leanprover/lean4@v2`, unable to find version `v2`
|
|
Unit Tests (python)
The strategy configuration was canceled because "unit-tests.go" failed
|
|
Unit Tests (go)
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 (lean)
The strategy configuration was canceled because "unit-tests.go" failed
|
|
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
|