Skip to content

Make infrastructure deployment manual - #14

Merged
ali509 merged 1 commit into
mainfrom
chore/manual-infrastructure-deploy
Jul 18, 2026
Merged

Make infrastructure deployment manual#14
ali509 merged 1 commit into
mainfrom
chore/manual-infrastructure-deploy

Conversation

@ali509

@ali509 ali509 commented Jul 18, 2026

Copy link
Copy Markdown
Owner

Summary

  • remove the automatic push trigger from the infrastructure deployment workflow
  • retain workflow_dispatch for controlled manual deployments
  • leave validation workflows unchanged

Reason

The assessment infrastructure has been removed from AWS. Requiring a manual run prevents future merges from recreating it unexpectedly.

@ali509
ali509 merged commit 0f715d3 into main Jul 18, 2026
1 check passed
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