search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Parameterize version of TLA+ tools used during CI run #77

Closed ahelwer closed 1 year ago

ahelwer commented 1 year ago

@lemmy in an earlier issue you mentioned it would be useful to parameterize the version of the TLA+ tools used during the CI run, so you could for example trigger a build of the tlaplus/tlaplus repo and have the resulting binary be used during a CI run for the tlaplus/examples repo. Are you still interested in this feature? Will look into implementing it if so.

lemmy commented 1 year ago

It would be beneficial to replace the old PR integration between tlaplus/tlaplus and tlaplus/example. Additionally, if main.yml were set to trigger a run of tlaplus/example, it would provide us with a historical record.

lemmy commented 1 year ago

FYI: The integration between tlaplus/tlaplus and tlaplus/vscode-tlaplus relies on peter-evans/repository-dispatch@v2Github .