Add tags trigger to GH Actions CI workflow

[juhoinkinen]

In PR #574 the general push event workflow trigger was replaced by a branch-specific push trigger (namely push.branches.master). However, this or any branch-specific push trigger does not fire on pushing tags (even to the selected branch); there has to be also the tags trigger, as explained in the docs.

I already tried to make the 0.57 release by pushing tags, which did not work out. So, I'll merge this fix, update the git tag, and push the tags again, and then the release workflow/job is supposed to be run...

[sonarqubecloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
No Duplication information

[codecov]

Codecov Report

Merging #581 (0fa6327) into master (0fc9a05) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #581   +/-   ##
=======================================
  Coverage   99.47%   99.47%           
=======================================
  Files          84       84           
  Lines        5568     5568           
=======================================
  Hits         5539     5539           
  Misses         29       29           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 0fc9a05...0fa6327. Read the comment docs.