Compare commits

..

No commits in common. "e1271ab549bf91fc0affe4662727fc699d748e4c" and "5fdb9ffb8526cfe8a4a378909411422132d81596" have entirely different histories.

View file

@ -16,5 +16,9 @@ jobs:
- name: Push Git Tag
run: |
git config --global user.email "you@example.com"
git config --global user.name "Your Name"
git commit -m "empty commit" --allow-empty
git tag ${{ github.run_number }}
git push origin ${{ github.run_number }}
git push origin --all