Vitor K
|
e5310b25d4
|
ci-merge: remove use of deprecated pushedDate (#6676)
|
2023-07-07 22:30:15 +02:00 |
liushuyu
|
327d07d66f
|
CI: revise change detection logic ... (#5943)
... now determines whether the last commit was push during the 24 hour
time-frame
|
2022-02-05 11:23:33 +05:30 |
liushuyu
|
ad1f0eed22
|
CI: make auto-publish workflow more robust and flexible ...
* workaround an issue where sometimes GHA does not pass repository
object into the context variable
* make detection interval adjustable
|
2022-01-04 19:00:33 -07:00 |
liushuyu
|
45ea8340be
|
CI: do canary merge and nightly publishing ...
... on the GitHub Actions. This will remove the reliance on the backend
server merging script and more transparent to the other contributors
|
2022-01-04 19:00:33 -07:00 |