Commit8bc6887

committed

[skip ci] Use PR number as id

1 parentbc42304 commit8bc6887Copy full SHA for 8bc6887

File tree

-4

lines changed

-4

lines changed

Lines changed: 3 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -49,13 +49,12 @@ jobs:`
`49`	`49`
`50`	`50`	`-name:Build doc`
`51`	`51`	`run:\|`
	`52`	`+ ref=${GITHUB_REF#refs/pull/}`
	`53`	`+ ref=${ref%/merge}`
`52`	`54`	`cd cpython/Doc`
`53`	`55`	`make venv`
`54`		`- make build ALLSPHINXOPTS="-b html -D language=ja -D gettext_compact=0 -E -d build/doctrees . ${{ github.workspace }}/build/html/${{ github.base_ref }}/${{ github.head_ref }}"`
	`56`	`+ make build ALLSPHINXOPTS="-b html -D language=ja -D gettext_compact=0 -E -d build/doctrees . ${{ github.workspace }}/build/html/${{ github.base_ref }}/${ref}"`
`55`	`57`
`56`	`58`	`-name:Publish PR build`
`57`	`59`	`run:\|`
`58`		`- pip freeze`
`59`		`- pwd`
`60`	`60`	`ls -l build/html///*`
`61`		`- echo ${{ github.workspace }}`

Comments

(0)