In the build-and-deploy GitHub workflow, we try to clean up the GPG files before finishing the job, but it seems that as of GPG v2.4.x, this fails. In other words, it looks as if we need to stop the GPG agent before doing that.
So let's do that, and while at it, also make sure that the dirmngr (GPG's daemon that takes care of talking to keyservers) is stopped, too.
In the
build-and-deployGitHub workflow, we try to clean up the GPG files before finishing the job, but it seems that as of GPG v2.4.x, this fails. In other words, it looks as if we need to stop the GPG agent before doing that.So let's do that, and while at it, also make sure that the
dirmngr(GPG's daemon that takes care of talking to keyservers) is stopped, too.