Skip to content

[DO NOT MERGE] CI proof: deliberate failures - #6

Closed
ice-zeus wants to merge 6 commits into
mainfrom
ci-1/red-proof
Closed

ice-zeus wants to merge 6 commits into
mainfrom
ci-1/red-proof

Conversation

@ice-zeus

Copy link
Copy Markdown
Contributor

Throwaway PR for the CI pool proof (CI-BRIEF step 9b): one failing test, one format error plus an analyzer warning, and untested new library code. Each must fail in its own step. Closed after the run; never merged.

Adds .github/workflows/ci.yml: on ready pull requests and pushes to main
it runs docs freshness and whitespace checks, dart format on changed
files, flutter analyze, flutter test with changed-line coverage (85%,
90% for critical paths) and the tool/update tests, plus the Android
debug APKs and the Linux debug build with the native/updater Rust
checks when their paths change. Jobs run only on the pool's self-hosted
ci-light and ci-heavy runners; .github/ci/setup.sh installs the pinned,
checksum-verified Flutter, JDK, Android SDK and Python tools into the
runner cache for this repository.
… regenerate readme.html

diff-cover cannot mix LCOV and Cobertura reports, so the tool/update
coverage is written as LCOV. docs/readme.html was stale on main (README
gained the Application updates section without a re-render); it is
regenerated with python3 tool/render_docs.py.
…iling check

A library that no test imports was missing from lcov.info, so diff-cover
did not count its new lines; a generated test now loads every library
under lib/. Analyze, the tool/update tests and the coverage check run
even when an earlier check of their job failed.
@ice-zeus

Copy link
Copy Markdown
Contributor Author

CI proof (CI-BRIEF step 9b) recorded: run https://github.com/shifter-io/proxy-app/actions/runs/40513496524 failed each deliberate error in its own step (failing test, dart format, analyze warning, uncovered changed lines). Closed unmerged.

@ice-zeus ice-zeus closed this Oct 27, 2026
@ice-zeus
ice-zeus deleted the ci-1/red-proof branch October 27, 2026 14:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant