copilot-swe-agent[bot]
64fcbeced6
Add workflow permissions for security
...
- Add explicit permissions block to restrict GITHUB_TOKEN
- Set contents: read permission (minimum required)
- Addresses CodeQL security alert
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com >
2025-12-27 03:52:17 +00:00
copilot-swe-agent[bot]
edfcf00d2e
Address code review feedback
...
- Consolidate file patterns in simulation script
- Improve Conan error handling with better messaging
- Fix TODO/FIXME check consistency between CI and local
- Update documentation badge URL to use generic placeholder
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com >
2025-12-27 03:50:55 +00:00
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
