Skip to content
CI

Add problem case 4 test #617

Sign in to view logs

Add problem case 4 test

Add problem case 4 test #617

Triggered via pull request December 30, 2025 02:35
@tiiftiif
synchronize #214
tiif:problem_case_4
Status Success
Total duration 2m 27s
Artifacts –

ci.yaml

on: pull_request
Matrix: rust-test
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
rust-test (macos-latest)
`formality-check` (lib) generated 2 warnings
rust-test (macos-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (macos-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (macos-latest)
`formality-check` (lib) generated 2 warnings
rust-test (macos-latest)
`formality-check` (lib test) generated 2 warnings (2 duplicates)
rust-test (macos-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (macos-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (ubuntu-latest)
`formality-check` (lib) generated 2 warnings
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (ubuntu-latest)
`formality-check` (lib) generated 2 warnings
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (ubuntu-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (windows-latest)
`formality-check` (lib) generated 2 warnings
rust-test (windows-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (windows-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read
rust-test (windows-latest)
`formality-check` (lib test) generated 2 warnings (2 duplicates)
rust-test (windows-latest)
`formality-check` (lib) generated 2 warnings
rust-test (windows-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `bb_id` is never read
rust-test (windows-latest): crates/formality-check/src/borrow_check/liveness.rs#L12
value assigned to `env` is never read