Why it failed on your PR: package/version and the Debian changelog (which sets the .deb name) didn’t match. CI built kframework-frontend_7.1.0_amd64.deb but the script

    tried to move …_7.1.314_amd64.deb. That often happens when the branch has a newer `package/version` bump but didn’t pick up the matching changelog edits from develop,
    or only one of the two was updated.

This should help improve PR builds that may currently be out of sync but
won't cause tests to fail because the version / changelog don't agree.
Issues are mitigated because branch will require to be up to date before
merging.

Author: F-WRunTime

package/debian/build-package

@@ -19,4 +19,16 @@ mv package/debian/${subdir}/rules.${base_distro}    debian/rules
 
 dpkg-buildpackage
 
-mv ../${subdir}_$(cat package/version)_amd64.deb ${pkg_name}
+# The .deb filename uses the Debian package version from debian/changelog, which can
+# differ from package/version; glob the artifact dpkg actually produced.
+shopt -s nullglob
+matches=(../"${subdir}"_*_amd64.deb)
+if [ "${#matches[@]}" -eq 0 ]; then
+  echo "error: no ../${subdir}_*_amd64.deb after dpkg-buildpackage" >&2
+  exit 1
+fi
+if [ "${#matches[@]}" -gt 1 ]; then
+  echo "error: expected one ../${subdir}_*_amd64.deb, got: ${matches[*]}" >&2
+  exit 1
+fi
+mv "${matches[0]}" "${pkg_name}"