PR Gates / CI image pin matches docker/ci (pull_request) Successful in 10s
PR Gates / Docs update reminder (pull_request) Successful in 12s
PR Gates / decisions lifecycle (pull_request) Successful in 18s
PR Gates / Script lint and tests (ruff + pytest) (pull_request) Failing after 9s
Build ErsatzTV Image / Delimiter ban (release path) (pull_request) Successful in 22s
PR Gates / Fix proofs (Proves trailers) (pull_request) Successful in 10s
review-verdict/h10 Awaiting review verdict for b2e9942
Review verdict / Set review-verdict status (pull_request_target) Successful in 10s
Build ErsatzTV Image / Build & test (.NET) (pull_request) Successful in 8m32s
Build ErsatzTV Image / EF migration integrity (SQLite + MySql) (pull_request) Canceled after 32s
Build ErsatzTV Image / Functional E2E (curl + UI contracts) (pull_request) Canceled after 0s
Build ErsatzTV Image / Build & push image (amd64) (pull_request) Canceled after 0s
Build ErsatzTV Image / API docs in sync (OpenAPI + endpoint index) (pull_request) Canceled after 0s
Build ErsatzTV Image / Formatting (changed .cs conform to .editorconfig) (pull_request) Canceled after 0s
The Done-when asks for a demonstrated red, not an assumed one. This commit introduces an unused import and a double-space assignment so `Lint scripts (ruff check)` and `Lint scripts (ruff format --check)` are seen failing on the runner — merged ≠ ran. Reverted in the next commit. Refs: #780
9 lines
197 B
Python
9 lines
197 B
Python
"""TEMPORARY (#780) — a deliberate lint violation, so the new CI gate is witnessed red.
|
|
|
|
Removed in the next commit. If you are reading this on main, the removal was lost.
|
|
"""
|
|
|
|
import os
|
|
|
|
x = 1
|