-
Notifications
You must be signed in to change notification settings - Fork 42
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
1b4129d
commit 790feec
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule scripts
updated
7 files
+36 −7 | .github/workflows/push-tag-to-extensions.yml | |
+22 −6 | .github/workflows/push-tag.yml | |
+5 −2 | dist/codecov.sh | |
+1 −0 | hooks/pre-commit | |
+4 −1 | scripts/download.sh | |
+1 −1 | scripts/set_validation_key.sh | |
+1 −1 | scripts/version.sh |