PR Interaction Workflow

Addition of navigation buttons on each page of website #724

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
greet-on-first-merge	0s
greet-on-first-pr	0s
	0s