Skip to content

Bump setup-micromamba, add shields#31

Merged
pavelzw merged 7 commits intomainfrom
dependabot/github_actions/mamba-org/setup-micromamba-1.4.1
May 19, 2023
Merged

Bump setup-micromamba, add shields#31
pavelzw merged 7 commits intomainfrom
dependabot/github_actions/mamba-org/setup-micromamba-1.4.1

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github May 15, 2023

Bumps mamba-org/setup-micromamba from 1.1.0 to 1.4.1.

Release notes

Sourced from mamba-org/setup-micromamba's releases.

v1.4.1

What's Changed

CI

Bug fixes

Full Changelog: mamba-org/setup-micromamba@v1.4.0...v1.4.1

v1.4.0

What's Changed

New features

Full Changelog: mamba-org/setup-micromamba@v1.3.0...v1.4.0

v1.3.0

What's Changed

New features

Full Changelog: mamba-org/setup-micromamba@v1.2.1...v1.3.0

v1.2.1

What's Changed

Other changes

Full Changelog: mamba-org/setup-micromamba@v1.2.0...v1.2.1

v1.2.0

What's Changed

Other changes

... (truncated)

Commits

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [mamba-org/setup-micromamba](https://github.com/mamba-org/setup-micromamba) from 1.1.0 to 1.4.1.
- [Release notes](https://github.com/mamba-org/setup-micromamba/releases)
- [Commits](mamba-org/setup-micromamba@f0ef657...5d5dbeb)

---
updated-dependencies:
- dependency-name: mamba-org/setup-micromamba
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot requested a review from jonashaag as a code owner May 15, 2023 14:58
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label May 15, 2023
@dependabot dependabot bot requested a review from a team May 15, 2023 14:58
@pavelzw
Copy link
Member

pavelzw commented May 16, 2023

Hmm I don't see anything immediately... But do we really need python 3.6 with python 3.7 being at EOL?

@pavelzw pavelzw changed the title Bump mamba-org/setup-micromamba from 1.1.0 to 1.4.1 Bumpsetup-micromamba, add shields May 19, 2023
@pavelzw pavelzw changed the title Bumpsetup-micromamba, add shields Bump setup-micromamba, add shields May 19, 2023
@jonashaag
Copy link
Contributor

I was about to say that we should remove some combinations to keep CI short, but it actually is really fast 🚀

Copy link
Contributor

@jonashaag jonashaag left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks <3

@pavelzw pavelzw merged commit 4f9103f into main May 19, 2023
@pavelzw pavelzw deleted the dependabot/github_actions/mamba-org/setup-micromamba-1.4.1 branch May 19, 2023 08:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants