feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) #1240
hyperpolymathci.yml
on: push
build
32s
lint
31s
bench-visibility
34s
coverage-visibility
30s
vscode-smoke
35s
migration-assistant
17s
Annotations
11 errors, 2 warnings, and 1 notice
|
lint
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
lint
The operation was canceled.
|
|
coverage-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
coverage-visibility
The operation was canceled.
|
|
build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
build
The operation was canceled.
|
|
bench-visibility
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
bench-visibility
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
vscode-smoke
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
vscode-smoke
The operation was canceled.
|
|
coverage-visibility
No files were found with the provided path: _coverage. No artifacts will be uploaded.
|
|
bench-visibility
No files were found with the provided path: bench-output.log. No artifacts will be uploaded.
|
|
adapter
@hyperpolymath/affine-vscode NOT installed (optional, awaits #104 npm publish) — smoke will skip
|