Stable docs not being updated

[joaquimg]

Previews have all the latest PR's.
Dev is updated with the latest commit.

I don't understand why there are no folders related to 0.5.1, 0.5.2, or 0.5.3 in gh-pages.

[odow]

I think you need this to run on tags as well?

DiffOpt.jl/.github/workflows/ci.yml

Lines 2 to 11 in cd626a6

	on:
	push:
	branches:
	- master
	pull_request:
	types: [opened, synchronize, reopened]
	# needed to allow julia-actions/cache to delete old caches that it has created
	permissions:
	actions: write
	contents: read

[odow]

That worked