Skip to content

Harden dependency, CI, release, and agent automation - #30

Merged
harder merged 2 commits into
mainfrom
codex/automation-hardening
Oct 5, 2026
Merged

harder merged 2 commits into
mainfrom
codex/automation-hardening

Conversation

@harder

@harder harder commented Oct 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add NuGet lock files, SDK/Actions Dependabot coverage, pinned Actions, three-OS CI, four-RID AOT smoke, dependency review, and C#/Actions CodeQL.
  • Add a tested daily monitor that opens assigned compatibility issues for new Terminal.Gui and GitHub CLI releases; make both minimum and latest gh contract lanes required.
  • Stage releases as verified drafts, refuse published tag reruns, verify published assets for package-manager generation, and update release guidance.
  • Refresh AGENTS.md as project source of truth and replace stale Copilot instructions with bot-specific review/coding guidance that references it.

Validation

  • actionlint 1.7.12
  • node --test .github/scripts/critical-dependencies.test.js
  • python site/build.py and node --check site/app.js
  • dotnet restore --locked-mode, dotnet build -c Release --no-restore, dotnet test -c Release --no-build (828 passed)
  • Sequential locked Native AOT publishes of both hosts for win-arm64; --version smoke passed

Repository settings

The current PAT returns HTTP 403 for repository administration, so Dependabot security updates, release immutability, and a stricter main ruleset still require a repository administrator to enable them in Settings. Workflow code does not bypass that restriction.

@github-advanced-security

Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@harder
harder merged commit 807b049 into main Oct 5, 2026
13 checks passed
@harder
harder deleted the codex/automation-hardening branch October 5, 2026 03:31
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.

2 participants