dependabot[bot]
|
641eb25047
|
Chore(deps): Bump actions/cache from 3 to 4 (#2662)
Bumps [actions/cache](https://github.com/actions/cache) from 3 to 4.
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](https://github.com/actions/cache/compare/v3...v4)
---
updated-dependencies:
- dependency-name: actions/cache
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
11 months ago |
shamoon
|
c3e0627d62
|
Try updating mike, changing docs action cache_id
|
12 months ago |
|
dependabot[bot]
|
7edcf6b047
|
Bump actions/setup-python from 4 to 5 (#2435)
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 5.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](https://github.com/actions/setup-python/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/setup-python
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
12 months ago |
|
shamoon
|
5fa790e9fe
|
Use old mike
|
1 year ago |
|
shamoon
|
29827b1c70
|
Add pre-commit to ci
|
1 year ago |
|
shamoon
|
19c25713c4
|
Run pre-commit hooks over existing codebase
Co-Authored-By: Ben Phelps <ben@phelps.io>
|
1 year ago |
|
shamoon
|
24121cd5f0
|
run ci on merge_group
|
1 year ago |
|
shamoon
|
b475f89d85
|
Migrate more URLs
|
1 year ago |
|
shamoon
|
a1e023e240
|
CI: filter ci by paths, docs ci test vs build, update PR template
|
1 year ago |
Denis Papec
|
67ebe29db7
|
Skip workflows if it is fork (#2092)
Signed-off-by: Denis Papec <denis.papec@gmail.com>
|
1 year ago |
Ben Phelps
|
7a6470381b
|
update build for insiders
|
1 year ago |
|
Ben Phelps
|
5902db9597
|
Create docs-publish.yml
|
1 year ago |
