Yeah, that is probably a good idea. We could use `make -k`. The
additional cost of continuing to build even in a failed build is pretty
small compared to the overhead of having to resubmit the entire GHA
several times.
I opened https://bugs.openjdk.org/browse/JDK-8340185.
/Magnus
On 2024-09-
hi,
Is it possible to have the build in github's PR checks section keep compiling
files after an error is encountered?
This would help limit number of times a fix and commit is required, for a large
changes involving refactoring/renaming changes that touch lots of files. This
in turn would lim