-
Notifications
You must be signed in to change notification settings - Fork 20
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add serverless build (push) #1059
Conversation
permissions: | ||
id-token: write | ||
contents: read |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would suggest to keep comments about permissions (source)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I will add it in next PR, thanks
Why you've decided to add three building jobs only? I see in another PR that there are many more of them. |
Oh, I see. It's already merged... It's ok but now I have another suggestion. Maybe should we split builds between three files? push, pull_request, and release? I think there is no reason to keep for example three builds in a separate file because we will not edit them and definitely do not remove/add images so often. |
Description
Changes proposed in this pull request:
Related issue(s)
#1033