Skip to content

Add TLA+ workflow security model and fail-closed credential cleanup #65423

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
pelikhan merged 9 commits into from
Oct 4, 2026
Merged

Add TLA+ workflow security model and fail-closed credential cleanup #65423

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
01db09f
Add executable TLA+ compiled-workflow security model
pelikhan Oct 3, 2026
2fd4c4c
Fix workflow security model mismatches and fail-open credential cleanup
pelikhan Oct 3, 2026
06f27db
Document work queue workflow reference
pelikhan Oct 3, 2026
d58dc24
Merge remote-tracking branch 'origin/main' into pelikhan-workflow-sec…
Copilot Oct 3, 2026
608b5ec
Apply remaining changes
Copilot Oct 3, 2026
00f4d48
Merge remote-tracking branch 'origin/main' into pelikhan-workflow-sec…
Copilot Oct 3, 2026
14ee871
Plan merge latest main
Copilot Oct 4, 2026
dd9d8c7
Merge remote-tracking branch 'origin/main' into pelikhan-workflow-sec…
Copilot Oct 4, 2026
70da762
Merge remote-tracking branch 'origin/main' into pelikhan-workflow-sec…
Copilot Oct 4, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'origin/main' into pelikhan-workflow-sec… 
…urity-formalization

# Conflicts:
#	.github/workflows/smoke-claude.lock.yml
#	.github/workflows/smoke-codex.lock.yml
#	.github/workflows/smoke-copilot-aoai-apikey.lock.yml
#	.github/workflows/smoke-copilot-aoai-entra.lock.yml
#	.github/workflows/smoke-copilot-arm.lock.yml
#	.github/workflows/smoke-copilot.lock.yml
#	.github/workflows/smoke-crush.lock.yml
#	.github/workflows/smoke-cursor.lock.yml
#	.github/workflows/smoke-deepseek-harness.lock.yml
#	.github/workflows/smoke-gemini.lock.yml
#	.github/workflows/smoke-goose.lock.yml
#	.github/workflows/smoke-kiro.lock.yml
#	.github/workflows/smoke-opencode.lock.yml
#	.github/workflows/smoke-project.lock.yml
#	.github/workflows/smoke-service-ports.lock.yml
#	.github/workflows/smoke-temporary-id.lock.yml
#	.github/workflows/smoke-test-tools.lock.yml

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
  • Loading branch information
@pelikhan
Copilot and pelikhan authored Oct 4, 2026
commit dd9d8c7caa65548fa8f8d6e52ab152258bd3ba46
2 changes: 1 addition & 1 deletion .github/workflows/smoke-claude.lock.yml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .github/workflows/smoke-codex.lock.yml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .github/workflows/smoke-copilot-aoai-apikey.lock.yml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .github/workflows/smoke-copilot-aoai-entra.lock.yml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
You are viewing a condensed version of this merge commit. You can view the full changes here.