git/tla_visualiser
1
0
Fork 0
mirror of https://github.com/johndoe6345789/tla_visualiser.git synced 2026-04-25 14:15:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
16 Commits 2 Branches 0 Tags
codex/simulate-workflow-and-fix-issues
Commit Graph

5 Commits

Author SHA1 Message Date
copilot-swe-agent[bot]
e67b845cbc Implement workflow simulation and gated tree workflow 
- Add workflow_dispatch trigger for manual workflow testing
- Implement gated tree pattern with lint → build → gate flow
- Add job dependencies to ensure proper ordering
- Create simulate_workflow.sh for local CI testing
- Add comprehensive CI/CD documentation
- Update README and CONTRIBUTING with workflow info

Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 03:47:25 +00:00
copilot-swe-agent[bot]
39e52e0363 Add complete TLA+ Visualiser project structure with C++20/Qt6/CMake/Conan 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:56:19 +00:00
johndoe6345789
f554d40b64 Update README to include 'libcurl' in project details 2025-12-27 02:44:41 +00:00
johndoe6345789
fb5881e8ff Update README to reflect QML in workflow 2025-12-27 02:44:17 +00:00
johndoe6345789
832ee57eca Initial commit 2025-12-27 02:44:02 +00:00