Commit Graph

2 Commits

Author SHA1 Message Date
copilot-swe-agent[bot]
d967105295 Fix TLA+ syntax errors in collaboration spec and validate all specifications
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
2025-12-27 02:16:00 +00:00
copilot-swe-agent[bot]
73d5ce416d Add TLA+ specifications for future functionality (workflows, collaboration, integrations)
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
2025-12-27 02:13:48 +00:00