Skip to content

Add comments to Geometry.py and booleanFunction.py files #14

Add comments to Geometry.py and booleanFunction.py files

Add comments to Geometry.py and booleanFunction.py files #14

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