jameshaydon / lawvere

A categorical programming language with effects
MIT License
267 stars 5 forks source link

Bump cachix/cachix-action from v8 to v9 #21

Closed dependabot[bot] closed 3 years ago

dependabot[bot] commented 3 years ago

Bumps cachix/cachix-action from v8 to v9.

Release notes

Sourced from cachix/cachix-action's releases.

cachix-action-v9

  • when the action fails, don't display a frightening traceback
  • use only stable Nix commands to avoid extra Nix configuration when using flakes
  • new option pushFilter: Regular expression to exclude derivations when pushing, for example "(-source$|nixpkgs.tar.gz$)". Warning: this filter doet not guarantee it will not get pushed in case the path is part of the closure of something that will get pushed.
Commits
  • 2689c27 better error message
  • d2627f2 Merge pull request #79 from cachix/nix-13
  • 691ca2d install-nix-action-v13
  • 6e2051a Merge pull request #78 from cachix/dependabot/npm_and_yarn/y18n-4.0.1
  • b76e7d9 chore(deps): bump y18n from 4.0.0 to 4.0.1
  • 565940c Merge pull request #77 from saschagrunert/push-filter
  • f1560b9 Add pushFilter to allow filtering cache derivations
  • 26cfe1e Merge pull request #76 from zimbatm/no-unstable
  • 9831d0f nix: only use stable commands
  • 33a8b9c Merge pull request #72 from zimbatm/clean-errors
  • Additional commits viewable in compare view


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)
dependabot[bot] commented 3 years ago

Superseded by #23.