feat(formal): grow P-2 to the STLC with functions + the substitution … #1207
hyperpolymathci.yml
on: push
build
3m 18s
lint
2m 29s
bench-visibility
3m 15s
coverage-visibility
3m 18s
vscode-smoke
31s
migration-assistant
25s
Annotations
7 errors, 1 warning, and 1 notice
|
bench-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
bench-visibility
Process completed with exit code 1.
|
|
coverage-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
coverage-visibility
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
build
The operation was canceled.
|
|
coverage-visibility
No files were found with the provided path: _coverage. No artifacts will be uploaded.
|
|
adapter
@hyperpolymath/affine-vscode NOT installed (optional, awaits #104 npm publish) — smoke will skip
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
bench-output
|
218 Bytes |
sha256:a7b2be7d0a0a2f8be68eab492588dcdd5e26882a9eb71ad10232fee3ca8b7cce
|
|