Skip to content

Comments

ci: use larger runners to build and scan#397

Open
NiccoloFei wants to merge 1 commit intomainfrom
dev/larger-runners
Open

ci: use larger runners to build and scan#397
NiccoloFei wants to merge 1 commit intomainfrom
dev/larger-runners

Conversation

@NiccoloFei
Copy link
Contributor

@NiccoloFei NiccoloFei commented Feb 20, 2026

No description provided.

@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Feb 20, 2026
@NiccoloFei NiccoloFei changed the title ci: use larger runner to build and scan ci: use larger runners to build and scan Feb 20, 2026
@dosubot dosubot bot added the github_actions Pull requests that update GitHub Actions code label Feb 20, 2026
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Feb 20, 2026
@NiccoloFei @mnencia
ci: use larger runner to build and scan
c54379e 
Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mnencia mnencia mnencia approved these changes

@fcanovai fcanovai Awaiting requested review from fcanovai fcanovai is a code owner

@gbartolini gbartolini Awaiting requested review from gbartolini gbartolini is a code owner

@jbattiato jbattiato Awaiting requested review from jbattiato jbattiato is a code owner

@litaocdl litaocdl Awaiting requested review from litaocdl litaocdl is a code owner

@sxd sxd Awaiting requested review from sxd sxd is a code owner

At least 2 approving reviews are required to merge this pull request.

Assignees

No one assigned

Labels

github_actions Pull requests that update GitHub Actions code lgtm This PR has been approved by a maintainer size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@NiccoloFei @mnencia