Trigger CI on push and pull request (#693)

This commit is contained in:
Quentin Le Sceller 2023-08-02 15:47:28 -04:00 committed by GitHub
parent 5be191b0df
commit dac31b3931
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,5 @@
name: Continuous Integration name: Continuous Integration
on: [push] on: [push, pull_request]
jobs: jobs:
linux-tests: linux-tests: