Currently, the GitHub CI scripts are "javafxports-only" files, meaning they exist only in the javafxports/openjdk-jfx repo [1] (both the master and develop branches) and not in the upstream HG repo on openjdk.java.net.
In preparation for switching to the Skara openjdk/jfx [2] repo, which is currently a read-only mirror of the official HG repo [3], it would be useful to add these files so we could enable CI builds for openjdk/jfx on GitHub.
[1] https://github.com/javafxports/openjdk-jfx
[2] https://github.com/openjdk/jfx
[3] https://hg.openjdk.java.net/openjfx/jfx-dev/rt