Pull Request or Push

Use github hosted runners #941

Sign in to view logs

Workflow file for this run

.github/workflows/pr.yml at 1dcf6ce

	name: Pull Request or Push

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	ci:
	name: CI
	uses: ./.github/workflows/ci.yml
	permissions:
	contents: write
	pull-requests: read