13 Commits (8b5558ba9441f9b7be72354b922734a962113fc1)

Author	SHA1	Message	Date
grossmj	5743d47327	Set ident for merge.	4 years ago
grossmj	ca69b01d11	Use origin/3.0 for merge into gh-pages branch.	4 years ago
grossmj	dd785b61cf	Work directly on gh-pages branch to generate the API documentation.	4 years ago
grossmj	0f154e5f29	Fix invalid syntax for git merge	4 years ago
grossmj	f9c4c82da6	Fix merge issues on gh-pages branch, second try.	4 years ago
grossmj	3a136a46a1	Fix merge issues on gh-pages branch	4 years ago
grossmj	a6a35e7c43	Fix publish_api_documentation.yml	4 years ago
grossmj	163a867f00	Only automatically build API documentation for 3.0 branch and v3.* tags	4 years ago
grossmj	d2b7c9bcbf	Do not build API documentation on schedule.	4 years ago
grossmj	fb8df1cc6b	Fetch all history for all tags and branches in publish_api_documentation.yml	4 years ago
grossmj	d063b3e39d	Manual trigger API documentation publishing using workflow_dispatch	4 years ago
grossmj	83fbd1f627	Fix GitHub Actions error: A branch or tag with the name '3' could not be found.	4 years ago
grossmj	1aa6fe8535	Add publish_api_documentation.yml to master branch for scheduled event to work.	4 years ago