fix time stat in completed jobs #631


	name: Build docs

	on:
	pull_request:
	push:
	branches:
	- master
	workflow_dispatch:

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up Python 3.12
	uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- name: Install deps
	run: \|
	python -m pip install --upgrade pip
	pip install -e .[docs]
	- name: Build docs
	run: \|
	make -C docs
	- name: Tar docs
	if: ${{ github.event_name != 'pull_request' }}
	run: \|
	cd docs/build/html && tar -zcf ../../../docs.tar.gz *
	- name: Upload html
	if: ${{ github.event_name != 'pull_request' }}
	env:
	USER: ${{ secrets.DOCS_USERNAME }}
	PASS: ${{ secrets.DOCS_PASSWORD }}
	run: \|
	curl --data-binary "@docs.tar.gz" -XPUT "https://$USER:[email protected]/api/upload?path=$GITHUB_REPOSITORY/${{ github.ref_name }}"

Provide feedback