Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 14 commits
- 55 files changed
- 2 contributors
Commits on Jan 31, 2024
-
Update GitHub Actions workflow
Update action versions for 'setup-python' and 'cache'. Set 'fetch-depth: 0' for 'checkout' action to obtain correct document dates when using 'mkdocs-git-revision-date-localized-plugin' (cf. https://github.com/timvink/mkdocs-git-revision-date-localized-plugin/blob/v1.2.2/mkdocs_git_revision_date_localized_plugin/ci.py#L37-L48)
Commits on Feb 1, 2024
-
Update publishing-your-site.md
Remove fetch-depth for checkout action (revert) Also update Insiders workflow.
-
Merge pull request #6720 from uschmidt83/patch-1
Update GitHub Actions workflow
Commits on Feb 2, 2024
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff 9.5.6...9.5.7