AppImage / AppImage/appimage.github.io

Collaborator push into PR during the CI upload of data test running causes upload to stop

Offen
#2,732 6 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
Shell
Sterne
374
Forks
769
Ø Merge
4 T. 10 Std.
Gemergte PRs (30 T.)
8

Beschreibung

In case I create a pull request and all the conditions pass, the database and apps folder is not updated since I'm not the owner. It shall be pushed only when owner pushes to the branch.

But suppose, I create a PR after which owner actually pushes to it (dummy) to generate the files but, I update the fork's branch before the test for the owner's push is completed then the action running on owner's push is cancelled and hence the files in the database/ and apps/ is not pushed.

Then the PR may be merged to wrongly assume that the required files have already been generated and added when it is in fact so. See #2728 and 28a5eb3

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.