diff options
| author | Darius Jahandarie <djahandarie@gmail.com> | 2023-03-18 13:15:30 +0900 |
|---|---|---|
| committer | Darius Jahandarie <djahandarie@gmail.com> | 2023-03-18 13:18:52 +0900 |
| commit | 9164ad6b97a494c5a6e57a6f1b83016b30b473e0 (patch) | |
| tree | 70ebf8292cbe7d2543351b9cbff5fb13bfa2ec6b /ext/search.html | |
| parent | 56d8e50d99fb71492d34c4fd99a3ee5383ddec81 (diff) | |
Switch CD to use workflow-dispatch instead of preleased trigger
For some reason, preleased wasn't triggering (maybe because github actions created the release?).
Diffstat (limited to 'ext/search.html')
0 files changed, 0 insertions, 0 deletions