Repository navigation

Change return type from tuple to set in get_surfaces_numbers #346

	name: 'Check that PR to main is coming from dev if necessary'

	on:
	pull_request:

	jobs:
	check_branch:
	runs-on: ubuntu-latest
	steps:
	- name: Check branch
	if: github.base_ref == 'main' && github.head_ref != 'dev'
	run: \|
	echo "ERROR: You can only merge to main from dev."
	exit 1