build(deps): bump technote-space/get-diff-action from v2.0.2 to v4 #7
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?s=60&v=4){kind=small}
We are currently seeing a lot of misterious github actions failures. They might be linked to our github actions: https://github.com/nixos/nixpkgs/actions
This reverts commit 256dbf6. This did not solve the github action failures
Squashed commits: 1. tor-browser-bundle-bin: 9.5 -> 9.5.1 2. tor-browser-bundle-bin: 9.5.1 -> 9.5.3
Desktop file does not work.
Co-authored-by: Andrew Fontaine <andrew@afontaine.ca>
Co-authored-by: Andrew Fontaine <andrew@afontaine.ca>
Also improve the derivation a bit: - Use fetchFromGitHub in place of fetchurl. - Replace buildPhase by buildFlags. - Create multiple outputs. - Replace mkdir/cp by install.
They are enabled by default on Arch.
There are some Nixpkgs specific issues that we could fix but due to changes in Git it currently isn't possible to source git-completion.bash from ZSH (at least not how tig-completion.bash expects it). Upstream issue: jonas/tig#940 For the meantime it seems best to simply not install it anymore so that the fallback implementation from ZSH can be used (more inaccurate as the git-log completion is reused but it is helpful to complete remotes, branches, tags, etc. and doesn't emit an error to the console).
This update was generated by hackage2nix v2.15.5-12-g1b02e1b from Hackage revision commercialhaskell/all-cabal-hashes@edb0920.
Testsuite is trying to access executable which is part of the package being built.
Before this commit, we only built the main ACL2 executable. Most users will also want the standard library (the "Community Books"), so after this commit, we build the entire `make everything` suite, which includes essentially everything provided in the ACL2 repository. There's also a new top-level package called `acl2-minimal` which has just the core ACL2 executable, for those who really only want that. Future work: modularize the build so that we can support multiple different subsets of the standard library. A lot of the stuff in this complete build is probably superfluous to almost all users. Also, because some of the books have unclear or idiosyncratic licenses, the full build will not be cached on cache.nixos.org, and installing it will mean spending a few hours building it. So it would be good to have a pared down build which excluded non-free books and things that people rarely or never use.
Better version support for Gerbil packages. Use passthru for meta-information used by other packages.
Bumps [technote-space/get-diff-action](https://github.com/technote-space/get-diff-action) from v2.0.2 to v2.0.3. - [Release notes](https://github.com/technote-space/get-diff-action/releases) - [Changelog](https://github.com/technote-space/get-diff-action/blob/master/.releasegarc) - [Commits](technote-space/get-diff-action@v2.0.2...b1acdd3) Signed-off-by: dependabot[bot] <support@github.com>
dependabot
bot
added
the
dependencies
Bumps [technote-space/get-diff-action](https://github.com/technote-space/get-diff-action) from v2.0.2 to v4. - [Release notes](https://github.com/technote-space/get-diff-action/releases) - [Changelog](https://github.com/technote-space/get-diff-action/blob/master/.releasegarc) - [Commits](technote-space/get-diff-action@v2.0.2...d2dec23) Signed-off-by: dependabot[bot] <support@github.com>
dependabot
bot
force-pushed
the
dependabot/github_actions/technote-space/get-diff-action-v4
branch
from
afeeeb6 to
fdd16d0
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Bumps technote-space/get-diff-action from v2.0.2 to v4.
Changelog
Sourced from technote-space/get-diff-action's changelog.
Commits
d2dec23feat: build for release30c0640feat: build for releasea7342dcfeat: build for releaseac1c0c8feat: build for releaseba49409feat: build for release714c7aefeat: build for release164d063feat: build for release5ba2359feat: build for release263ff4bfeat: build for release240ad69feat: build for releaseDependabot 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 rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot mergewill merge this PR after your CI passes on it@dependabot squash and mergewill squash and merge this PR after your CI passes on it@dependabot cancel mergewill cancel a previously requested merge and block automerging@dependabot reopenwill reopen this PR if it is closed@dependabot closewill close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot ignore this major versionwill 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 versionwill 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 dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)