Skip to content

Bump mamba-org/provision-with-micromamba from 14 to 15#1710

Merged
Conengmo merged 1 commit intomainfrom
dependabot/github_actions/mamba-org/provision-with-micromamba-15
Jan 24, 2023
Merged

Bump mamba-org/provision-with-micromamba from 14 to 15#1710
Conengmo merged 1 commit intomainfrom
dependabot/github_actions/mamba-org/provision-with-micromamba-15

Conversation

@dependabot
Copy link
Copy Markdown
Contributor

@dependabot dependabot Bot commented on behalf of github Jan 23, 2023

Bumps mamba-org/provision-with-micromamba from 14 to 15.

Release notes

Sourced from mamba-org/provision-with-micromamba's releases.

v15

  • Fix #112 (channels overridden even if empty)
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/provision-with-micromamba](https://github.com/mamba-org/provision-with-micromamba) from 14 to 15.
- [Release notes](https://github.com/mamba-org/provision-with-micromamba/releases)
- [Commits](mamba-org/provision-with-micromamba@v14...v15)

---
updated-dependencies:
- dependency-name: mamba-org/provision-with-micromamba
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot @github
Copy link
Copy Markdown
Contributor Author

dependabot Bot commented on behalf of github Jan 23, 2023

The following labels could not be found: Bot.

@martinfleis
Copy link
Copy Markdown
Collaborator

pre-commit action is failing and it is unclear to me why (I am not familiar with this action trilom/file-changes-action).

@Conengmo
Copy link
Copy Markdown
Member

Conengmo commented Jan 23, 2023

I'm not familiar with it either, but checking out their repo it seems it enables pre-commit to only run on files that changed. Checking the commits and the top issue it seems the repo is abandoned though: trilom/file-changes-action#141.

Let's hope this is a temporary network hick-up. I don't suppose it's a blocker for this PR.

[edit] looks like even the Pre-commit Github Action is deprecated :( https://github.com/pre-commit/action

@martinfleis
Copy link
Copy Markdown
Collaborator

Maybe we can use pre-commit.ci instead. I've had only good experience with that.

@Conengmo
Copy link
Copy Markdown
Member

Conengmo commented Jan 24, 2023

Since we had to migrate away from Travis I liked having all the CI in one place. Not being dependent on a company that might revoke it's "free for always" plan. If it's not necessary I'd rather not include another service. Let's see how this evolves.

@Conengmo Conengmo merged commit c17b1e7 into main Jan 24, 2023
@Conengmo Conengmo deleted the dependabot/github_actions/mamba-org/provision-with-micromamba-15 branch January 24, 2023 10:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants