Closed jcflack closed 1 year ago
It appears that the GitHub Actions workflow does not run when a new commit is pushed onto an already-opened pull request.
Next question: will reopening the PR trigger the GitHub Actions workflow?
It apparently does not, even though that seems to contradict the statement here that the synchronize
event type is included by default:
By default, a workflow only runs when a
pull_request
event's activity type isopened
,synchronize
, orreopened
.
Not a mystery for me to solve today. Closing to open a new PR.
The problem may have been a tab in the workflow yml file, causing the workflow silently not to run. I have pushed a correction of that, and will try reopening again.
... thanks to a tip from Rodrigo Alvarado a little tidier than what's on the wiki.postgresql.org Apt page.
And update the list of Java versions tested to cover more recent ones.
Also, for now, suppress the Appveyor tests that have been reliably falling over for some reason of their own.