message: Update workflow to exclude on push
diff: @@ -3,6 +3,15 @@ name: Enso CI
  on:
  push:
  branches: [ master ]
  + paths-ignore:
  + - .github/*
  + - doc/*
  + - .gitignore
  + - .scalafmt.conf
  + - CODE_OF_CONDUCT.md
  + - CONTRIBUTING.md
  + - LICENSE
  + - README.md
  pull_request:
  branches: [ master ]
  paths-ignore:
  