Pull Request or Push

Add type hints to relenv #1319

Sign in to view logs

Workflow file for this run

.github/workflows/pr.yml at be11e9b

	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