diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index cd243ad0..bb41a763 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,6 +1,6 @@ name: CI -on: [pull_request] +on: [push, pull_request] jobs: default_tools: