1name: Create Release23on:4 push:5 branches:6 - 'main'7 - 'master'8 paths:9 - 'lean-toolchain'1011jobs:12 lean-release-tag:13 name: Add Lean release tag14 runs-on: ubuntu-latest15 permissions:16 contents: write17 steps:18 - name: lean-release-tag action19 uses: leanprover-community/lean-release-tag@v120 with:21 do-release: true22 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}23