remove paths-ignore from push trigger to fix tag publish#30

Ramblurr merged 1 commit intomainoutskirtslabs/datomic-pro-flake:mainfrom

fix/ci-no-paths-ignore-on-pushoutskirtslabs/datomic-pro-flake:fix/ci-no-paths-ignore-on-pushCopy head branch name to clipboard