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