Commit c82495e
committed
ci: Fix commit message for update-dp workflow, add delay
The delay is to give time to CI runners to build and publish the new
compile-env packages.
Alternatively, we could trigger the workflow when new packages are
published, but:
- I'm not sure the action would effectively trigger, given that the
package is already created and pushed by a GitHub workflow run (I
think it disables "recursive" actions, like when automated PRs don't
trigger CI runs, to prevent infinite loops.
- It's more involved to figure out when to run: only on release builds
(that take longer than debug builds)? And only on packages from
commits that are present in the main branch? Doable, but more work.
Signed-off-by: Quentin Monnet <qmo@qmon.net>1 parent 0009948 commit c82495e
1 file changed
+12
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
45 | 45 | | |
46 | 46 | | |
47 | 47 | | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
48 | 52 | | |
49 | 53 | | |
50 | 54 | | |
| |||
63 | 67 | | |
64 | 68 | | |
65 | 69 | | |
66 | | - | |
67 | | - | |
68 | | - | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
69 | 73 | | |
70 | 74 | | |
71 | 75 | | |
72 | | - | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
73 | 81 | | |
74 | 82 | | |
75 | 83 | | |
| |||
0 commit comments