1
0
mirror of https://github.com/php/php-src.git synced 2026-04-21 23:18:13 +02:00
Commit Graph

19 Commits

Author SHA1 Message Date
Sergey Panteleev 5f035dc75b [skip ci] Auto labeling for PRs (#8693) 2022-06-08 12:28:03 +01:00
Ilija Tovilo 4dec645029 Merge branch 'PHP-8.1'
* PHP-8.1:
  Verify generated files are up to date in CI
2022-04-21 23:27:46 +02:00
Michael Voříšek 36de002cc6 Verify generated files are up to date in CI
Closes GH-8295
2022-04-21 23:25:47 +02:00
Ilija Tovilo 95898362a1 Merge branch 'PHP-8.1'
* PHP-8.1:
  Fix opcache testing in CI
2022-04-14 09:52:26 +02:00
Michael Voříšek e3f2846bbb Fix opcache testing in CI
Closes GH-8350
2022-04-14 09:50:48 +02:00
Ilija Tovilo 5ad14112ff Merge branch 'PHP-8.1'
* PHP-8.1:
  Run nightly on php org only unless triggered via workflow_dispatch
2022-04-14 09:42:28 +02:00
Ilija Tovilo cd90ddca85 Run nightly on php org only unless triggered via workflow_dispatch 2022-04-14 09:35:37 +02:00
Ilija Tovilo eb97b09ac5 Merge branch 'PHP-8.1'
* PHP-8.1:
  Remove issue_comment trigger on nightly
2022-04-10 01:11:41 +02:00
Ilija Tovilo 9af3759987 Remove issue_comment trigger on nightly
This was a left-over from the attept to trigger nightly via comment.
2022-04-10 01:10:25 +02:00
Ilija Tovilo 0d017f7462 Merge branch 'PHP-8.1'
* PHP-8.1:
  Add nightly for GitHub actions
2022-04-09 17:13:19 +02:00
Ilija Tovilo 5de1cd9e48 Add nightly for GitHub actions 2022-04-09 17:08:18 +02:00
Ilija Tovilo 3c9c809efd Merge branch 'PHP-8.1'
* PHP-8.1:
  Migrate CI to GitHub actions
2022-02-23 15:20:40 +01:00
Ilija Tovilo 41461cf812 Migrate CI to GitHub actions 2022-02-23 14:32:50 +01:00
Ilija Tovilo 2753b454f3 [ci skip] Don't run GitHub actions on forks
Closes GH-8111
Closes GH-8119
2022-02-19 11:29:12 +01:00
Ilija Tovilo 706398fa9f [ci skip] [Close stale PRs] Enable GitHub action 2022-02-04 18:39:05 +01:00
Ilija Tovilo 8c7521d3ae [Close stale PRs] Skip RFCs and "Waiting on Review"
Pull requests with the "Waiting on Author" label should still not be
closed if they have the RFC label as closing them requires manual
action. Also avoid closing "Waiting on Review".
2022-02-03 10:47:56 +01:00
Ilija Tovilo 70f712ce04 [ci skip] Close stale PRs with GitHub actions
Closes GH-7999
2022-01-31 00:10:36 +01:00
Nikita Popov 29696dd54b Add triage label when removing feedback label 2021-12-19 22:17:12 +01:00
Nikita Popov 8ba1267744 Add templates and workflows for GitHub issues
This adds the necessary templates and actions for
https://wiki.php.net/rfc/github_issues.

Closes GH-7694.
2021-12-04 16:40:18 +01:00