Skip to content

202409181925

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 18 Sep 19:25
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 <github.com@lemmster.de>