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

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
Plan merge latest main 
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
  • Loading branch information
@pelikhan
Copilot and pelikhan authored Oct 4, 2026
commit 14ee8714efd63a6b3879b615d58dc41db487a415
1 change: 1 addition & 0 deletions .github/skills/agentic-workflows/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -106,6 +106,7 @@ After loading the matching workflow prompt or skill, follow it directly:
- Render compact markdown charts: `.github/aw/asciicharts.md`
- Map CLI commands to MCP usage: `.github/aw/cli-commands.md`
- Choose workflow architecture and patterns: `.github/aw/patterns.md`
- Orchestrate durable work with a work queue (dispatcher/worker roles or queue inspection): `.github/aw/work-queue.md`
- Optimize token usage and cost: `.github/aw/token-optimization.md`
- Design long-running multi-agent research workflows: `.github/aw/multi-agent-research.md`
- Add skills or agent plugins requested by the user (`skills:` / `plugins:` frontmatter, never on-the-fly installs): `.github/aw/skills.md`
Expand Down