github CI job 'trigger' should not run on forks

seL4 / projects_libs

Other

6 stars 20 forks source link

github CI job 'trigger' should not run on forks #16

Closed axel-h closed 2 years ago

axel-h commented 2 years ago

It's basically the same problem as in https://github.com/seL4/seL4_projects_libs/issues/33, the github CI job 'trigger' should not run on forks, as this fails when updating master there. Updating master on forks is necessary when testing PR on forks using the github CI action. Getting an error after the update everytime is a bit annoying.

Ivan-Velickovic commented 2 years ago

With https://github.com/seL4/ci-actions/pull/210 merged, this can be closed now.