require pull request

Create Metric Registry #3629

Sign in to view logs

Workflow file for this run

.github/workflows/require_pull_request.yml at 775ac7d

	name: require pull request

	on:
	pull_request:
	branches:
	- master

	jobs:
	job:
	name: require pull request
	runs-on: ubuntu-latest
	steps:
	- run: echo hello world!