New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Reenabling using latest init image in PR workflow #296

Merged

thomas-gerber merged 1 commit into main from fast_pr_workflow

May 19, 2023

Contributor

thomas-gerber commented May 19, 2023

Follow up of #295


          Reenabling using latest init image in PR workflow

thomas-gerber requested review from cjwooo, tovbinm, ypc-faros and ogusak as code owners

May 19, 2023 20:48

ypc-faros approved these changes

View reviewed changes

thomas-gerber merged commit 006abdb into main

thomas-gerber deleted the fast_pr_workflow branch

May 19, 2023 21:00

github-actions bot locked and limited conversation to collaborators

# for free to subscribe to this conversation on GitHub. Already have an account? #.

Reviewers

ypc-faros ypc-faros approved these changes

cjwooo Awaiting requested review from cjwooo cjwooo is a code owner

tovbinm Awaiting requested review from tovbinm tovbinm is a code owner

ogusak Awaiting requested review from ogusak ogusak is a code owner

Labels

None yet