The GitHub Actions job "Build documentation" on flink.git/master has succeeded. Run started by GitHub user MartijnVisser (triggered by MartijnVisser).
Head commit for run: 60041948a63706be596f12b309c79dbe9a010fb5 / Timo Walther <twal...@apache.org> [FLINK-37547][docs] Document PTFs This closes #26375. Report URL: https://github.com/apache/flink/actions/runs/14196207752 With regards, GitHub Actions via GitBox
