tlaplus / tlaplus/tla-by-example
Automate/include tlaplus-web builds
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 10
- Forks
- 5
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 3
Description
Currently the jar is coming from: https://github.com/FedericoPonzi/tlaplus-web
We need to either move that project or relevant bits in this repo and build it here as part of CI, or simply have releases on that project. As a followup, tlatools updates should trigger a tlaplus-web update which in turn should trigger a tla-by-example update.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by comparing the jar source in FedericoPonzi/tlaplus-web with the current tla-by-example repository and reviewing how builds and releases are configured. Decide whether the web project should move here or publish releases independently, then define the automation needed for tlatools, tlaplus-web, and tla-by-example updates to propagate.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, ci-cd, release
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100