False positive regarding github.repository.name

[mm-chia]

Hello,

actionlint reports error when encountering ${{ github.repository_name }} but this property is perfectly valid.
I think the official Github documentation is lacking on this.