feat: only run CI on push, not both PR and push, which can cause GPU …

…conflicts

.github/workflows/ci.yml

@@ -1,6 +1,7 @@
 name: CI
 
-on: [pull_request, push]
+#on: [pull_request, push]
+on: [push]
 
 # Cancel a job if there's a new on on the same branch started.
 # Based on https://stackoverflow.com/questions/58895283/stop-already-running-workflow-job-in-github-actions/67223051#67223051