Run the CI on pull_request.

Running the CI on push only trigger the CI on a push on the current repository.
It works on PR based on local branch but not for PR from remote repository.
This commit is contained in:
Matthieu Gautier 2024-05-30 11:38:02 +02:00
parent 5e7166cb07
commit dc1067b8c4

View File

@ -1,6 +1,10 @@
name: CI
on: [push]
on:
pull_request:
push:
branches:
- main
jobs:
Linux: