Skip to content

fix: on push workflow#20

Merged
edivalentinitu merged 5 commits intomainfrom
fix-workflow
Apr 16, 2025
Merged

fix: on push workflow#20
edivalentinitu merged 5 commits intomainfrom
fix-workflow

Conversation

@edivalentinitu
Copy link
Contributor

@edivalentinitu edivalentinitu commented Apr 16, 2025 •
edited
Loading

  • check input before installing invenio-override in order to make both workflows work: manual and on push

@edivalentinitu edivalentinitu marked this pull request as ready for review April 16, 2025 09:15
@edivalentinitu
Copy link
Contributor Author

edivalentinitu commented Apr 16, 2025

https://github.com/sharedRDM/instance/actions/runs/14489310080?pr=20 on-push run

@edivalentinitu edivalentinitu merged commit d98131e into main Apr 16, 2025
@edivalentinitu edivalentinitu linked an issue Apr 16, 2025 that may be closed by this pull request
select invenio-override branch on workflow trigger #18
Closed
@edivalentinitu edivalentinitu deleted the fix-workflow branch May 7, 2025 06:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mb-wali mb-wali mb-wali approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

select invenio-override branch on workflow trigger

2 participants

@edivalentinitu @mb-wali