[eseiler]

Runs CI in stages behind a single required check and moves the bot, scheduled and preview workflows to GitHub App tokens and environments.

• ci.yml calls the existing ci_*.yml (now workflow_call + workflow_dispatch) in stages: Lint and License, then the Linux unit tests, then the rest. CI result is the only required CI check; the lint label is no longer used.
• ci_lint.yml checks formatting with seqan/actions/lint. lint_autofix.yml (workflow_run, calls seqan/actions/.github/workflows/lint_autofix.yml) pushes formatting fixes to the PR branch as a signed seqan-actions[bot] commit.
• ci_documentation.yml builds on pull_request and uploads the HTML; docs_preview.yml publishes it to https://seqan.github.io/docs-preview/seqan/seqan3// and deletes it when the PR is closed. The production deploy is a separate job in the server-deploy environment.
• Scheduled and bot workflows use seqan-pr-bot/seqan-main-bot tokens from the pr-bot/main-bot environments; cron_codechecker.yml runs in server-deploy.
• Previews contain the user and developer documentation below a landing page, as before.
• cron_api.yml, cron_avx2.yml and cron_latest_libraries.yml no longer report to issues; a failing build fails the run. process_compiler_error_log.py and cron_comment_template.md are removed.
• draft_release.yml uses GITHUB_TOKEN with contents: write; draft releases come from github-actions[bot].

Before merging: App installations, the environments pr-bot, docs-preview, server-deploy, main-bot with their secrets, and the required checks CI result and Documentation.

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.12%. Comparing base (09faaa2) to head (b8033c4).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #3443   +/-   ##
=======================================
  Coverage   98.12%   98.12%           
=======================================
  Files         270      270           
  Lines       11276    11276           
  Branches     1261     1261           
=======================================
  Hits        11065    11065           
  Misses        211      211           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.