ci: sync with recent Core image changes #115

1. 
   fanquake commented at 3:55 pm on April 12, 2023: member

   Sync with recent Core CI infra changes. These may or may not fail until Core PRs are merged.
2. ci: sync with recent Core image changes 40a748f1e7
3. maflcko approved
4. 
   maflcko commented at 4:15 pm on April 12, 2023: contributor

   lgtm ACK
5. 
   maflcko commented at 11:21 am on April 13, 2023: contributor

   rfm?
6. fanquake merged this on Apr 13, 2023
7. fanquake closed this on Apr 13, 2023

   ---

8. fanquake deleted the branch on Apr 13, 2023

Contributors
fanquake maflcko