You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a continuation of Issue #412Create release for 0.10.0. While a method for automatically creating releases when new tags are added was implemented in Pull Request #418Add GitHub Action manifest, the tag for 0.10.0 was created before #418 was merged, and a release for 0.10.0 was not created manually.
Additionally, Pull Request #418 introduced Issue #433git-release workflow is triggered whenever any commit is pushed to master, and Issue #434Major update to git-release workflow deprecates used option, causing failure was created several months later. These two issues are resolved by Pull Request #432Fix the git-release GitHub Action workflow constantly creating errors.
The text was updated successfully, but these errors were encountered:
This is a continuation of Issue #412
Create release for 0.10.0
. While a method for automatically creating releases when new tags are added was implemented in Pull Request #418Add GitHub Action manifest
, the tag for0.10.0
was created before #418 was merged, and a release for0.10.0
was not created manually.Additionally, Pull Request #418 introduced Issue #433
git-release workflow is triggered whenever any commit is pushed to master
, and Issue #434Major update to git-release workflow deprecates used option, causing failure
was created several months later. These two issues are resolved by Pull Request #432Fix the git-release GitHub Action workflow constantly creating errors
.The text was updated successfully, but these errors were encountered: