git/WizardMerge
1
0
Fork 0
mirror of https://github.com/johndoe6345789/WizardMerge.git synced 2026-04-25 06:04:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
114 Commits 8 Branches 2 Tags
ci/test-results
Commit Graph

5 Commits

Author SHA1 Message Date
copilot-swe-agent[bot]
60ad6c39c1 Add TLA+ CI support: script, config, and spec fixes 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:46:36 +00:00
copilot-swe-agent[bot]
c377c5f4aa Add GitLab support for merge request resolution alongside GitHub 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:17:34 +00:00
copilot-swe-agent[bot]
f4848268bd Update formal spec, add libcurl via Conan, update documentation 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-27 02:02:30 +00:00
copilot-swe-agent[bot]
57d51c32e5 Add tests, update TLA+ spec, and add comprehensive build documentation 
Co-authored-by: johndoe6345789 <224850594+johndoe6345789@users.noreply.github.com>
 2025-12-25 08:39:07 +00:00
JohnDoe6345789
e5da422395 Rename WizardMergeSpec.tla to spec/WizardMergeSpec.tla 2025-11-27 19:53:12 +00:00