run github actions on pull requests

This commit is contained in:
2022-10-05 17:36:02 +00:00
parent 45f1e83a61
commit 96f671b803

View File

@@ -1,6 +1,6 @@
name: CI name: CI
on: [push] on: [push, pull_request]
jobs: jobs:
test-core: test-core: