Trigger build of tlaplus/tlaplus if this repository has been changed. Related to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd Signed-off-by: Markus Alexander Kuppe <[email protected]>
Trigger build of tlaplus/tlaplus if this repository has been changed. Related to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd Signed-off-by: Markus Alexander Kuppe <[email protected]>