ci

Merge pull request #1857 from alixander/delete-connection-glob #4033

Sign in to view logs

Summary
Jobs
- ci
- nofixups
- signed
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
signed	24s
ci	4m 46s
nofixups	23s
	5m 33s