CI cleanups #138

	name: GitHub CI
	on:
	push:
	branches:
	- master
	pull_request:
	branches:
	- master
	jobs:
	osx_10_15:
	runs-on: macos-10.15
	steps:
	- uses: actions/checkout@v2
	- name: Build
	run: bash tools/gha_osx.sh
	bionic_gcc7_conda_asan:
	runs-on: ubuntu-18.04
	steps:
	- uses: actions/checkout@v2
	- name: Build
	run: bash tools/gha_bionic_gcc7_conda_asan.sh
	bionic_gcc7_conda_ubsan:
	runs-on: ubuntu-18.04
	steps:
	- uses: actions/checkout@v2
	- name: Build
	run: bash tools/gha_bionic_gcc7_conda_ubsan.sh
	focal_clang9_conda_tsan:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v2
	- name: Build
	run: bash tools/gha_focal_clang9_conda_tsan.sh
	focal_clang9_debuggmp:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v2
	- name: Build
	run: bash tools/gha_focal_clang9_debuggmp.sh
	binder_cache:
	runs-on: ubuntu-latest
	if: github.ref == 'refs/heads/master'
	steps:
	- name: cache binder build on mybinder.org
	uses: jupyterhub/repo2docker-action@master
	with:
	NO_PUSH: true
	MYBINDERORG_TAG: ${{ github.event.ref }} # This builds the container on mybinder.org with the branch that was pushed on.

Provide feedback