mirror of
https://github.com/bootandy/dust.git
synced 2026-06-08 11:29:05 +03:00
[PR #81] [MERGED] Maint/CI ~ fix features option for GHA cargo ... and cross ...
#295
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/bootandy/dust/pull/81
Author: @rivy
Created: 3/10/2020
Status: ✅ Merged
Merged: 3/15/2020
Merged by: @bootandy
Base:
master← Head:fix.cicd-features📝 Commits (1)
c3415dfMaint/CI ~ fix features option for GHAcargo ...andcross ...📊 Changes
1 file changed (+14 additions, -3 deletions)
View changed files
📝
.github/workflows/CICD.yml(+14 -3)📄 Description
This fixes the failing empty features issue more generically and robustly.
I just noticed the GHA builds were failing on another repo and created this fix. I see that you've fixed it here by removing support for the features option completely. This implementation works whether the build uses features or not. It'll be more robust in the case that you add any features option at a later date.
Since, you're current implementation works, I understand if you don't want to merge this ... but I think that this is a better version which a future you might appreciate. 😄
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.