RFR: Fix jextract GHA
Jorn Vernee
jvernee at openjdk.java.net
Fri Apr 29 11:27:59 UTC 2022
On Fri, 29 Apr 2022 11:14:39 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:
> the action does not ignore pr/* branches, which seems to be the norm in JDK
I left that one out since the jextract repo doesn't seem to have `pr/*` branches (as opposed to the jdk repo), so it didn't seem needed. But, it doesn't hurt to have that exclusion rule either I think.
-------------
PR: https://git.openjdk.java.net/jextract/pull/28
More information about the jextract-dev
mailing list