Skip to content

Commit a955647

Browse files
committed
build: skip commit verification when pushing tags
--- type: pre_push_report description: Results of running various checks prior to pushing changes. report: - task: run_javascript_examples status: na - task: run_c_examples status: na - task: run_cpp_examples status: na - task: run_javascript_readme_examples status: na - task: run_c_benchmarks status: na - task: run_cpp_benchmarks status: na - task: run_fortran_benchmarks status: na - task: run_javascript_benchmarks status: na - task: run_julia_benchmarks status: na - task: run_python_benchmarks status: na - task: run_r_benchmarks status: na - task: run_javascript_tests status: na ---
1 parent a9a6973 commit a955647

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: tools/scripts/npm_publish

+1-1
Original file line numberDiff line numberDiff line change
@@ -538,7 +538,7 @@ publish() {
538538
# Updates a remote repository.
539539
update_remote_repository() {
540540
echo 'Pushing tags to remote repository...' >&2
541-
git push origin "v${release_version}"
541+
git push origin "v${release_version}" --no-verify
542542
if [[ "$?" -ne 0 ]]; then
543543
echo '' >&2
544544
echo 'Error: unexpected error. Encountered an error when attempting to push tags to remote repository.' >&2

0 commit comments

Comments
 (0)