name: Continuous Integration
on: push